[sv-ec] RE: Proposal for Mantis 2506 v17

From: Bresticker, Shalom <shalom.bresticker@intel.com>
Date: Mon Dec 05 2011 - 05:51:45 PST

Also, there appear to be some cross-reference errors:

At the end of 19.6.1.3: "Section 19.6.1.3 shows how CrossValType and CrossQueueType can be used to compute explicit enumerations of cross bins," should be 19.6.1.4. (Also, don't call it a "section". Either "Subclause" or just the number.)

In 19.6.1.4: "However, for cross bins the type of the queue shall be the cross's CrossQueueType, whose elements are of type CrossValType (see Sec 19.6.1.2)," should be 19.6.1.3 (again, no "Sec").

"The selection of bin tuples for the cross bin by the elements of the cross_set_expression is subject to the same policy specification as the cross bin with covergroup expression (see 19.6.1.1)," should be 19.6.1.2.

Thanks,
Shalom

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Bresticker, Shalom
Sent: Monday, December 05, 2011 2:43 PM
To: sv-ec@eda.org
Subject: [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<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
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.
Received on Mon Dec 5 05:52:31 2011

This archive was generated by hypermail 2.1.8 : Mon Dec 05 2011 - 05:52:37 PST