Subject: RE: [sv-ac] Latest LRM for today's meeting
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Thu Apr 03 2003 - 08:03:34 PST
Thanks for pointing out. It's an error. It should be like assert, i.e,
cover property (property_spec) statement_or_null
Surrendra
At 09:52 AM 4/3/2003 -0600, you wrote:
>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
>**********************************************
**********************************************
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 : Thu Apr 03 2003 - 08:05:22 PST