{Disarmed} Re: [sv-ec] RE: Proposal for Mantis 2506 v17

Hi Shalom,

I just uploaded v18 which should address all issues discovered this morning.

Thanks,
Scott

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

> Also, the changes to A.2.11 should delete the line****
>
> ** **
>
> range_list ::= value_range { *,** *value_range }****
>
> ** **
>
> Regards,****
>
> Shalom****
>
> ** **
>
> *From:* owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] *On Behalf Of *Bresticker,
> Shalom
> *Sent:* Monday, December 05, 2011 3:52 PM
> *To:* sv-ec@eda.org
> *Subject:* [sv-ec] RE: Proposal for Mantis 2506 v17****
>
> ** **
>
> 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* <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* <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.