[sv-ec] default-bin erratum

Subject: [sv-ec] default-bin erratum
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Wed Feb 18 2004 - 14:42:47 PST

• Next message: Sandeep Pagey: "[sv-ec] Errata: 3.1a Draft2, Section 20.2"
• Previous message: Arturo Salz: "[sv-ec] cross-bin guard erratum"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

There is a typo in the BNF of default cover-point bins: The = is missing from the default productions.
This proposal below fixes the typo snd makes the BNF consistent with the text and the examples.

    Arturo

--------------------------------------------------------------------------------

In Annex A.2.11 and in Syntax Box 20-2 (page 312)
- Add the missing = before the default keyword to the "bins_or_options" production as shown

    bins_or_options ::=
                      coverage_option
                    | [ wildcard ] bins_keyword bin_identifier [ [ [ expression ] ] ] = { range_list } [ iff ( expression ) ]
                    | [ wildcard ] bins_keyword bin_identifier [ [ ] ] = trans_list [ iff ( expression ) ]
                    | bins_keyword bin_identifier [ [ [ expression ] ] ] = default [ iff ( expression ) ]
                    | bins_keyword bin_identifier = default sequence [ iff ( expression ) ]

 To Yield:

  bins_or_options ::=
                      coverage_option
                    | [ wildcard ] bins_keyword bin_identifier [ [ [ expression ] ] ] = { range_list } [ iff ( expression ) ]
                    | [ wildcard ] bins_keyword bin_identifier [ [ ] ] = trans_list [ iff ( expression ) ]
                    | bins_keyword bin_identifier [ [ [ expression ] ] ] = default [ iff ( expression ) ]
                    | bins_keyword bin_identifier = default sequence [ iff ( expression ) ]

--------------------------------------------------------------------------------

• Next message: Sandeep Pagey: "[sv-ec] Errata: 3.1a Draft2, Section 20.2"
• Previous message: Arturo Salz: "[sv-ec] cross-bin guard erratum"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Feb 18 2004 - 14:50:52 PST