[sv-ec] coverage event BNF erratum

Subject: [sv-ec] coverage event BNF erratum
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Sun Feb 29 2004 - 23:40:52 PST

• Next message: Shalom Bresticker: "Re: [sv-ec] RE: Clarification of 19.4 modports"
• Previous message: Dave Rich: "Re: [sv-ec] RE: Clarification of 19.4 modports"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The BNF production for coverage_event is incorrect.
The following change fixes the problem:

In syntax box 20-1 (Section 20.2) and in Section A.2.11 modify as shown
(Replace clocking_identifier with clocking_event)

    coverage_event ::=
                    clocking_identifierevent
                  | @@( block_event_expression )

    Arturo

• Next message: Shalom Bresticker: "Re: [sv-ec] RE: Clarification of 19.4 modports"
• Previous message: Dave Rich: "Re: [sv-ec] RE: Clarification of 19.4 modports"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Sun Feb 29 2004 - 23:44:29 PST