[sv-ec] Mantis 2506 - coverage

Hi,

Currently (pre-2506), subclause 19.5 is "Defining coverage points" and 19.5.1 is "Specifying bins for transitions".

Mantis 2506 leaves introductory text at the beginning of 19.5 and then adds a new subclause heading 19.5.1 "Specifying bins for values" before the paragraph,

The bins for a coverage point can be automatically created by SystemVerilog or explicitly defined using the bins construct to name each bin. If the bins are not explicitly defined, they are automatically created by SystemVerilog. The number of automatically created bins can be controlled using the auto_bin_max coverage option. Coverage options are described in 19.7.

"Specifying bins for transitions" now becomes 19.5.2.

I like the addition of a separate subclause for value bins, the new 19.5.1, parallel to that for transition bins.

However, I think the paragraph I quoted above should come before the 19.5.1 title, as it is applicable to transition bins as well as value bins.

Also, there are some sentences in 19.5 that become part of 19.5.1 although they relate to transition bins instead of or in addition to value bins. They should thus be moved or copied to 19.5.2.

I noticed the following:

The default sequence form can be used to catch all transitions (or sequences) that do not lie within any of the defined transition bins (see 19.5.1). The default sequence specification does not accept multiple transition bins (i.e., the [] notation is not allowed).

A default or default sequence bin specification cannot be explicitly ignored (see 19.5.4). It shall be an error for bins designated as ignore_bins to also specify a default or default sequence.

There might also be additional text in the new 19.5.1 that is applicable to transition bins also, and should thus be copied to or referenced in 19.5.2, or moved to another place that is common to both types of bins.

Shalom Bresticker
Intel LAD DA, Jerusalem, Israel
+972 2 589 6582 (office)
+972 54 721 1033 (cell)
http://www.linkedin.com/in/shalombresticker

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.