[sv-ec] Erratum in coverage BNF

Subject: [sv-ec] Erratum in coverage BNF
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Tue Feb 17 2004 - 11:03:00 PST

• Next message: David W. Smith: "[sv-ec] Cancel of meeting on 18 February 2004"
• Previous message: Brad Pierce: "[sv-ec] Package scope resolution (BNF) PROPOSAL"
• In reply to: Arturo Salz: "[sv-ec] Section 20: coverage BNF"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

In Annex A.2.11 and Syntax Box 20-3 (Section 20.4.1)
 
REPLACE

    trans_item ::= range_list | value_range

WITH

    trans_item ::= range_list

The change simplifies the grammar and eliminates a redundant (ambiguous) rule.

    Arturo

----- Original Message -----
From: "Arturo Salz" <Arturo.Salz@synopsys.COM>
To: <sv-ec@eda.org>
Cc: "David W. Smith" <david.smith@synopsys.COM>
Sent: Friday, February 13, 2004 11:32 PM
Subject: [sv-ec] Section 20: coverage BNF

Attached is a proposal to correct several typos and inaccuracies in the coverage BNF.
The changes to BNF eliminate a syntactical ambiguity.

    Arturo

• Next message: David W. Smith: "[sv-ec] Cancel of meeting on 18 February 2004"
• Previous message: Brad Pierce: "[sv-ec] Package scope resolution (BNF) PROPOSAL"
• In reply to: Arturo Salz: "[sv-ec] Section 20: coverage BNF"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Feb 17 2004 - 11:06:48 PST