RE: [sv-ac] Latest LRM for today's meeting

Subject: RE: [sv-ac] Latest LRM for today's meeting
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Thu Apr 03 2003 - 08:09:35 PST

• Next message: John Havlicek: "Re: [sv-ac] Latest LRM for today's meeting"
• Previous message: Surrendra Dudani: "RE: [sv-ac] Latest LRM for today's meeting"
• In reply to: Harry Foster: "RE: [sv-ac] Latest LRM for today's meeting"
• Next in thread: Harry Foster: "RE: [sv-ac] Latest LRM for today's meeting"
• Reply: Surrendra Dudani: "RE: [sv-ac] Latest LRM for today's meeting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

concurrent_assert_statement ::=                                                         

        assert  property ( property_spec ) action_block

        | assert  property ( property_instance) action_block

concurrent_cover_statement ::=

        cover property ( property_spec ) statement_or_null

        | cover property ( property_instance ) statement_or_null                                                                

Hi Surrendra,

One thing I noticed about the BNF, is that we can only
use a property_instance with the 'cover' directive.
The way the BNF is written today (at least the way it
appears to me), we couldn't declare a property and
then use it as part of an assertion.

Best regards,

-Harry
---------------------------------------------------------
Harry Foster                     Tel 972-423-3186
Chief Architect                  Cell 408-234-7637
Verplex Systems, Inc.            mailto:harry@verplex.com
840 Shenandoah Dr.               www.verplex.com
Plano, TX 75023                  www.verifiableRTL.com


-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]On
Behalf Of Surrendra Dudani
Sent: Thursday, April 03, 2003 12:21 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] Latest LRM for today's meeting


Attached is the LRM and BNF for the assertions chapter. This has been
updated according to the ASWG decisions. Please review for today's meeting.
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
**********************************************