[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, and is
believed to be clean.