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

Hi Shalom,

See [SL] below.

On Mon, Dec 5, 2011 at 4:43 AM, Bresticker, Shalom <
shalom.bresticker@intel.com> wrote:

> 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*".
>
>
[SL] I presume you mean second paragraph in the comment above? You are
concerned about the clause, "In the expression..." I presume.

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

[SL] Fixed in the next version.

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

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