[sv-ec] RE: Mantis 2506 - BNF

And then the paragraph

Transition bin specifications of length 0 shall be illegal. These are transition bin specifications containing a trans_set production of a single value_range, e.g., (0) or ([0:1]), or a single value_range with a repeat_range evaluating to 1, e.g., (0[*1]) or ([0:1][*1]).

should be

Transition bin specifications of length 0 shall be illegal. These are transition bin specifications containing a trans_set production of a single covergroup_value_range, e.g., (0) or ([0:1]), or a single covergroup_value_range with a repeat_range evaluating to 1, e.g., (0[*1]) or ([0:1][*1]).

Shalom

From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Bresticker, Shalom
Sent: Sunday, November 27, 2011 5:46 PM
To: sv-ec@eda.org
Cc: sv-champions@eda.org
Subject: [sv-champions] Mantis 2506 - BNF

Hi,

For Mantis 2506, in the BNF for transition bins (Syntax 19-3, A.2.11),

should
trans_item ::= range_list
be
trans_item ::= covergroup_range_list ?

Should
repeat_range ::=
  expression
| expression : expression
be
repeat_range ::=
  covergroup_expression
| covergroup_expression : covergroup_expression ?

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