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