Subject: RE: [sv-ac] Latest LRM for today's meeting
From: Harry Foster (harry@verplex.com)
Date: Thu Apr 03 2003 - 08:15:01 PST
Hi Surrendra,
I still think there is a problem with the action_block
production.
action_block ::=
[statement] [ else statement ] ;
In the IEEE 1364-2001 BNF, a 'statement' is defined as:
statement ::=
{ attribute_instance } blocking_assignment ;
| ...
| { attribute_instance } nonblocking_assignment ;
| ...
| { attribute_instance } seq_block ;
| ...
Where a seq_block contains a begin-end. You can see
this would create a problem (at least my interpretation
of the BNF)--particularly related to the begen-end with a
semicolon.
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
**********************************************
This archive was generated by hypermail 2b28 : Thu Apr 03 2003 - 08:15:10 PST