[sv-ec] Section 20 errata


Subject: [sv-ec] Section 20 errata
From: Ryan, Ray (Ray_Ryan@mentorg.com)
Date: Tue Feb 10 2004 - 12:05:51 PST


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 : Tue Feb 10 2004 - 12:13:30 PST