[sv-ec] RE: Resending : Clarification required on Single Value Bins for Transitions, section 19.5.2 LRM 1800-2102

One could go either way on this, so it should be clarified.

I filed the issue as Mantis 4562.

Shalom

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Tipp, Brandon P
Sent: Thursday, February 28, 2013 22:00
To: Anupam Singal; sv-ec@eda.org
Cc: Irfan Chandurwala; Tipp, Brandon P
Subject: [sv-ec] RE: Resending : Clarification required on Single Value Bins for Transitions, section 19.5.2 LRM 1800-2102

A trans_set cannot be a single covergroup_value_range with a repeat_range evaluating to 1.  The example in the LRM uses a single covergroup_value_range with a value of 0 and a repeat_range evaluating to 1.  In your example, you have a single covergroup_value_range with a value of 3 and a repeat_range evaluating to 1.  i.e. 3[*1] is no different than 0[*1], so it is clearly illegal.

There is nothing in the LRM that states that this rule is exclusive to [* range_list ] repetition operator (despite the fact that the only examples given use the [* range_list] repetition operator).  So, I believe that 3[->1] and 3[=1] are illegal as well, but I'd like to hear what others think.

-Brandon

From: owner-sv-ec@eda.org<mailto:owner-sv-ec@eda.org> [mailto:owner-sv-ec@eda.org] On Behalf Of Anupam Singal
Sent: Thursday, February 28, 2013 6:06 AM
To: sv-ec@eda.org<mailto:sv-ec@eda.org>
Cc: Irfan Chandurwala
Subject: [sv-ec] Resending : Clarification required on Single Value Bins for Transitions, section 19.5.2 LRM 1800-2102


As per LRM  1800-2012 and earlier versions, section 19.5.2 Specifying bins for transitions :

"  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]) "  .


Could one clarify in relation to above whether the single covergroup value range items below are LEGAL or ILLEGAL
for  a single covegroup value range transition .


Q1)  If  a bin  is described as below would this be a legal or illegal transition ?







               bins b1 = ( 3[*1]   )  ;

               bins b2 = ( 3[-> 1] )  ;

               bins b3=  ( 3[= 1]  )  ;





Q2)  If these are considered LEGAL can one say for these three bins :



a)       bins b1 is  one occurrence of 3 therefore legal    .                           Is this  correct/incorrect ?

b)      bins b2 end with one occurrence of 3 therefore legal  .                     Is this correct/ incorrect ?

c)      bins b3 end with one occurrence of 3 ( same as bins b2 ) therefore legal . Is this correct/incorrect ?







Regards ,



Anupam Singal

sanupam@cadence.com<mailto:sanupam@cadence.com>



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