[sv-ac] Errata - unable to specify clocking event for a property instance
Subject: [sv-ac] Errata - unable to specify clocking event for a property instance
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Fri Nov 07 2003 - 13:34:56 PST
Hi Arif,Faisal,
I would like to file the following errata:
Current BNF does not allow the specification of a clock in an assert or
cover statements when a property is instantiated. I propose to modify the
BNF in the following way.
Change:
assert_property_statement::=
assert
property ( property_spec
)
action_block
|
assert
property (
property_instance
)
action_block
cover_property_statement::=
cover
property ( property_spec
)
statement_or_null
|
cover
property (
property_instance
)
statement_or_null
TO:
assert_property_statement::=
assert
property ( property_spec
)
action_block
|
assert
property (
[clocking_event ]
property_instance
)
action_block
cover_property_statement::=
cover
property ( property_spec
)
statement_or_null
|
cover
property ( [clocking_event
] property_instance
)
statement_or_null
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 archive was generated by hypermail 2b28
: Fri Nov 07 2003 - 13:36:12 PST