[sv-ec] RE: Updated version of 2506 (v16)

Hi, Scott.

In response to note 12505:

2. I have moved all of the text in question regarding the default specification for both bins and transitions up into the general information section (19.5) and removed it from 19.5.1. I did not find any additional text that needed to be moved or duplicated.

[SB] The current LRM has this sentence:

"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)."

When you moved it, the cross-reference was deleted. Was that deliberate? It would now be 19.5.2.

Also, in this sentence,

"A default or default sequence bin specification cannot be explicitly ignored (see 19.5.4)."

the cross reference would now be to 19.5.5. It might be good to add a note to the editor that the cross references are already after the subclause renumbering due to the addition of a new 19.5.1.

In response to note 12536:

2. I added set_coverpoint_expression to the list of items to which b can apply. I don't believe it is necessary to add coverpoint_identifier.

[SB] OK. I think set_coverpoint_expression would also be applicable in the following dashed item:

- If an element of a bins covergroupopen_range_list is a singleton value b, the element shall not participate in the bins values.

All the other changes seem OK. I have not finished reviewing the changes to cross coverage, but I don't have any other comments at this time.

Thanks a lot,
Shalom
---------------------------------------------------------------------
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.