[sv-ac] Usage of assume statements and BNF.

Subject: [sv-ac] Usage of assume statements and BNF.
From: Adam Krolnik (krolnik@lsil.com)
Date: Wed Feb 25 2004 - 06:40:49 PST

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 - 06:47:52 PST