[sv-champions] FW: Mantis 2506 - editorial

_____________________________________________
From: Bresticker, Shalom
Sent: Thursday, November 17, 2011 4:52 PM
To: Scott Little
Cc: Neil Korpusik
Subject: RE: Mantis 2506 - editorial

More:

Page 4 has,

" Function calls may participate in a covergroup_expression, but the following semantic restrictions are imposed:
...
- System task or function calls are restricted to constant system function calls (see 11.2.1)"

The first part of the dashed items refers to tasks and functions, the second says that only functions are allowed. If system tasks are not allowed, it would be clearer to say so explicitly.

On the same page (and on the preceding page in the FROM part), the line

c: coverpoint x; // creates coverpoint "c" covering the formal "x"

was changed in Mantis 3763 to say "cx" instead of "c". That does not affect the changes in this proposal at all, but it is good to be consistent with the latest draft.

Page 5 deletes the following sentence:

The open_range_list used to specify the set of values associated with a bin shall be constant expressions (see 11.2.1), instance constants (for classes only), or non-ref arguments to the coverage group.

OK, but the paragraph will be clearer if it says explicitly that the bin name and optional square brackets are followed by a list that specifies the set of values associated with the bin. As surprising as it may sound, the paragraph does not do so.

Regards,
Shalom
_____________________________________________
From: Bresticker, Shalom
Sent: Wednesday, November 16, 2011 2:39 PM
To: Scott Little
Cc: Neil Korpusik
Subject: Mantis 2506 - editorial

Hi,

Some editorial comments on the BNF changes:

1. On page 6, the proposal shows the following line being deleted from the BNF in 19.5.1 (renumbered to 19.5.2):

open_value_range ::= value_range

However, that line does not appear in 19.5.1. Probably you copy-pasted it from elsewhere.

2. In Syntax 19-4, you have to add Footnote 23 to the BNF of covergroup_value_range.

3. 19.6 contains the sentences,

"The desired set of values can be specified using a comma-separated list of open_value_range as shown in Syntax 19-4."

and

"The open_value_range syntax can specify a single value, a range of values, or an open range, which denotes the following:"

You have to update them to covergroup_value_range.

4. You move the BNF of open_value_range to A.6.7. You have to add Footnote 23 there.

Regards,
Shalom

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.