RE: [sv-ac] Assertions BNF errata and PROPOSAL

Subject: RE: [sv-ac] Assertions BNF errata and PROPOSAL
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Fri Feb 06 2004 - 11:19:08 PST

• Next message: Surrendra Dudani: "[sv-ac] Errata - repetition operator syntax"
• Previous message: Brad Pierce: "[sv-ac] Assertions BNF errata and PROPOSAL"
• In reply to: Brad Pierce: "[sv-ac] Assertions BNF errata and PROPOSAL"
• Reply: Brad Pierce: "RE: [sv-ac] Assertions BNF errata and PROPOSAL"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The original proposal omitted part of the fix for

> 2) for look-and-feel consistency, makes it legal to
> use () to indicate zero formals or zero actuals.

Attached is a corrected proposal that makes () possible in
sequence_instance and property_instance.

-- Brad

• text/html attachment: assertions_bnf_revised.htm

• Next message: Surrendra Dudani: "[sv-ac] Errata - repetition operator syntax"
• Previous message: Brad Pierce: "[sv-ac] Assertions BNF errata and PROPOSAL"
• In reply to: Brad Pierce: "[sv-ac] Assertions BNF errata and PROPOSAL"
• Reply: Brad Pierce: "RE: [sv-ac] Assertions BNF errata and PROPOSAL"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Feb 06 2004 - 11:30:36 PST