[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, and is
believed to be clean.