RE: [sv-ac] Submitted proposal for resolution of 928 - Please com ment

Below is the proposal that appears in the last bugnote of 928.

proposal for resolution of 928 - Hillel Miller
-----------------------------------------------
- remove list_of_formals, formal_item and actual_arg_expr from the definition syntax.
- Change syntax of arguments to properties and sequences to allow event_expression and $ instead of just "expression". Requires changes on pages 236, 240, 525.
- Added ps_port_list that is specific for declaring ports for properties and sequences. tf_port_list could not be reused because there is a need to add default parameters that can be event_expression's or $.
- Change to the definitions of property and sequence instantiations. Requires updating pages 240, 265, 524, 525
- Change to the definition of sequence/property declarations. Requires changes to 240, 265, 524, 525, 
- Added the ability to pass property_spec and sequence_expr as actual parameters. There is an example of this in the LRM but there was not formal syntax for it. There is an equivalent to this in PSL. This needs to be examined carefully.

Definitions that need to be added to the formal syntax (annex A)
----------------------------------------------------------------
ps_list_of_arguments ::=
  [ ps_actual_arg] { , [ ps_actual_arg ] } 

ps_actual_arg ::=
  event_expression | $ | sequence_expr | property_spec         

// event_expression includes event therefore no syntax gets lost.


property_instance ::=
  ps_property_identifier [ ( [ ps_list_of_arguments ] ) ]

sequence_instance ::=
  ps_sequence_identifier [ ( [ ps_list_of_arguments ] ) ]

property_declaration ::=
  property property_identifier [ ( [ ps_port_list ] ) ] ;
  { assertion_variable_declaration }
    property_spec ;
  endproperty [ : property_identifier ]

sequence_declaration ::=
  sequence sequence_identifier [ ( [ ps_port_list ] ) ] ;
  { assertion_variable_declaration }
    sequence_expr ;
endsequence [ : sequence_identifier ]

ps_port_list ::=
  ps_port_item { , ps_port_item }

ps_port_item ::=
  { attribute_instance }
  data_type_or_implicit
  [ port_identifier { variable_dimension } [ = ps_actual_arg ] ]

edited on: 03-12-06 22:35

edited on: 03-14-06 08:21 


Hillel Miller>


-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Kulshrestha, Manisha
Sent: Tuesday, March 14, 2006 12:34 AM
To: sv-ac@eda.org
Subject: RE: [sv-ac] Submitted proposal for resolution of 928 - Please comment

Hillel,

The item #928 still has the proposal to remove "list_of_formals". Is that your proposal ? If not, Could you mention the mantis item which contains your proposal ? If yes, then how do we pass event expressions ?

Thanks.
Manisha 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Miller Hillel-R53776
Sent: Sunday, March 12, 2006 5:51 AM
To: Bassam Tabbara; sv-ac@eda.org
Subject: [sv-ac] Submitted proposal for resolution of 928 - Please comment




-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Bassam Tabbara
Sent: Wednesday, March 08, 2006 11:18 PM
To: sv-ac@eda.org
Subject: [sv-ac] #928

Hi all,

== last meeting minutes
3) #928: Passed by vote. Issue raised by John/Manisha in email, reopen ?

John motion to reopen, Joseph seconds. Item opened.
- Hillel to look over (original #196). 
==

$ is already covered in BNF since expression -> primary -> $

However the event_expression still seems missing.

Thx.
-Bassam.

--
Dr. Bassam Tabbara
Synopsys, Inc.
(650) 584-1973