RE: [sv-ac] 928 Proposal Updated

Lisa,
 
Please check whether sequence_formal_type and property_formal_type need
to be optional. We need to maintain backward compatibility to untyped
parameters.
 
Thanks
Hillel
 
 

________________________________

From: owner-sv-ac@eda-stds.org [mailto:owner-sv-ac@eda-stds.org] On
Behalf Of Lisa Piper
Sent: Tuesday, June 20, 2006 11:52 PM
To: sv-ac@verilog.org
Subject: [sv-ac] 928 Proposal Updated 



Hi all,

 

928 is ready for review again.  I have reviewed and incorporated
comments from John Pierce, Bassom Tabbara, John Havlicek's, Miller
Hillel,  and Ed Cerny.  The summary is as follows:

 

The purpose is to fix issues with the existing BNF.   Specifically:

 

1. removal of list_of_formals, formal_list_item, and actual_arg_expr
that were not referenced

 

2. list_of_arguments was redfined as sequence_list_of_arguments and
property_list_of_arguments. actual_arg was defined as
sequence_actual_arg and property_actual arg.   They should be unique
because sequences cannot have property arguments.

 

3. tf_port list was replaced by sequence_port_list and
property_port_list to fix the issue that tf_port_list does not allow
default values assignment other than expression.  The new definition
allows for intiialization of all args in the definition. Named or
positional association of arguments is allowed when the sequence or
property is instantiated.  

 

4. Actual args for a sequence include sequence_instance or
event_expression (which includes expressions) Actual args for a property
are the same as for a sequence with the addition of a property_instance.

 

Lisa