Subject: RE: [sv-ac] Usage of assume statements and BNF.
From: David W. Smith (dwsmith@synopsys.com)
Date: Wed Feb 25 2004 - 10:41:03 PST
Please look at LRM-240 for Draft 5. I believe it handles this.
Regards
David
-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Adam Krolnik
Sent: Wednesday, February 25, 2004 6:41 AM
To: sv-ac@eda.org
Subject: [sv-ac] Usage of assume statements and BNF.
Hi Surrendra;
[Sent to the reflector]
According to the LRM, in A.2.10 concurrent assertions include:
concurrent_assertion_item ::=
concurrent_assert_statement
| concurrent_cover_statement
| concurrent_assertion_item_declaration
There is no mention of assume statement.
In A.6.10, procedural assertions include:
procedural_assertion_item ::=
assert_property_statement
| cover_property_statement
| immediate_assert_statement
| assume_property_statement
Assumptions are listed here.
I believe this is a must-fix mistake. The examples appear to all be concurrent. Also
concurrent assumptions make the most sense although you could make the case for
procedural assumptions. [I would not have expected procedural assumptions...]
Thanks.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
Co-author "Assertion Based Design"
This archive was generated by hypermail 2b28 : Wed Feb 25 2004 - 10:47:46 PST