RE: [sv-ac] 928

Hi Surrendra,
 
(1) event_expression include sequence_instance see p. 533 of LRM (also
see motivation item of proposal pdf sent out by Brad just now).
 
(2) expression covers primary so should be ok
 
Thx.
-Bassam.
 

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Surrendra Dudani
Sent: Thursday, January 25, 2007 12:39 PM
To: sv-ac@eda.org
Subject: [sv-ac] 928



Hi John/Dmitry, 
I was looking at mantis item 928 which was passed last year, and need
the following clarifications: 
1) Unlike property actual argument, 
property_actual_arg::= 
        property_instance 
        | sequence_actual_arg 

sequence actual argument does not include sequence_instance 
sequence_actual_arg ::= 
        event_expression 

2) The default argument for either property or sequence declaration is
expression rather than actual sequence/property expression

property_port_item ::= 
{ attribute_instance } 
property_formal_type 
port_identifier {variable_dimension} [=expression] 

sequence_port_item ::= 
{ attribute_instance } 
sequence_formal_type 
port_identifier {variable_dimension} [=expression] 

Thanks 
Surrendra 
**************************************** 
Surrendra A. Dudani 
Synopsys, Inc. 
377 Simarano Drive, Suite 300 
Marlboro, MA 01752 

Tel:   508-263-8072 
Fax:   508-263-8123 
email: Surrendra.Dudani@synopsys.com  
**************************************** 


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.