[sv-ec] Proposal for Mantis 2506 v17

Hi,

In the added 19.6.1.2 (page 15), the first two paragraphs say,

"The with clause in a select_expression specifies that only those bin tuples in the subordinate select_expression for which sufficiently many value tuples satisfy the given with_covergroup_expression (i.e., for which the expression evaluates to true, as described in 12.4) are selected.

In the expression, occurrences of cross_items (i.e., those coverpoint_identifiers or variable_identifiers occurring in the list_of_cross_items for the cross) represent corresponding values in the value tuples of the candidate bin tuples."

Since the first paragraph mentions three different expressions, it is unclear what "expression" in the third paragraph refers to. I suggest changing "expression" there to "with_covergroup_expression".

In the following example:

    X: cross a,b
    {
      bins apple = X with (a+b < 257) matches 127;
      bins cherry = (binsof(b) intersect [0:50] && binsof(a.low) intersect [0:50]) with (a==b);
      bins plum = binsof(b.two) with (b > 12) || binsof(a.low) with (a & b & mask);
    }

the two "intersect" covergroup_range_lists should be enclosed by curly brackets.

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.