[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] On Behalf Of Anupam Singal
Sent: Thursday, February 28, 2013 6:06 AM
To: 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, and is
believed to be clean.