Re: [sv-ec] Section 20 errata


Subject: Re: [sv-ec] Section 20 errata
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Fri Feb 13 2004 - 10:34:10 PST


MessageRay,

With respect to your last comment (the syntax boxes of page 323 and 325), I have a few comments:

The option and type_option identifiers are not intended as part of the BNF. They are predefined members, similar to matched and ended in assertions. The 'not in Annex A' is not an editorial comment indicating that it needs to be added to Annex A. If we were to add this syntax to the formal BNF, we'd have to change option/type_option to something like option_identifier plus a note:

    option_identifier ::= option (note)
    type_option_identifier ::= type_option (note)

    Note: option and type_option are predefined members not keywords.

I agree that we should include a caption with the boxes.

    Arturo

----- Original Message -----
From: Ryan, Ray
To: sv-ec@eda.org
Sent: Tuesday, February 10, 2004 12:05 PM
Subject: [sv-ec] Section 20 errata

In Syntax 20-4 and A.2.11

The production for 'cover_cross' should have "cross" as a keyword. That is,

cover_cross ::= [cover_point_identifer : ] cross list_of_coverpoints [ iff ( expression ) ] select_bins_or_empty

should be:

cover_cross ::= [cover_point_identifer : ] cross list_of_coverpoints [ iff ( expression ) ] select_bins_or_empty

-----------

In the production 'covergroup_declaration', the ';' following 'coverage_spec_or_option' is redundant with the ';' at the end of a 'coverage_spec' (the current syntax requires a double ;; ). The productions:

covergroup_declaration ::=
        covergroup covergroup_identifier [ ( list_of_tf_proto_formals ) ] [ coverage_event ] ;
                { coverage_spec_or_option ; }
        endgroup [ : covergroup_identifier ]

coverage_spec_or_option ::=
        {attribute_instance} coverage_spec
        | {attribute_instance} coverage_option

should be changes to (remove ';' in covergroup_declaration, add ';' following coverage_option):

covergroup_declaration ::=
        covergroup covergroup_identifier [ ( list_of_tf_proto_formals ) ] [ coverage_event ] ;
                { coverage_spec_or_option }
        endgroup [ : covergroup_identifier ]

coverage_spec_or_option ::=
        {attribute_instance} coverage_spec
        | {attribute_instance} coverage_option ;

In 20.4.1, page 315,

The following text has an extra '->' (also missing 'the's).

Here, trans_item is repeated for repeat_range times. For example,

3 [* 5]

is same as

3=>3=>3=>->3=>3

An example of a range of repetition is:

3 [* 3:5]

is same as

3=>3=>3, 3=>3=>3=>3, 3=>3=>3=>3=>3

The text should be:

Here, trans_item is repeated for repeat_range times. For example,

3 [* 5]

is the same as

3=>3=>3=>3=>3

An example of a range of repetition is:

3 [* 3:5]

is the same as

3=>3=>3, 3=>3=>3=>3, 3=>3=>3=>3=>3

In 20.6, the example at the bottom of page 322, there is an extra ';' in the declaration of coverpoint b.

b : coverpoint b_var ;
{
...

should be

b : coverpoint b_var
{
...

Also the unnamed syntax boxes in 20.6 (p323) and 20.6.1 (p 325) still need to be merged into the overall BNF (Appendix A).

- Ray



This archive was generated by hypermail 2b28 : Fri Feb 13 2004 - 14:05:03 PST