RE: [sv-ec] Clarification of wildcardbins

You bring up a good point. Perhaps it's indeed best to enumerate all the
values and create a bin for each.

	Arturo

-----Original Message-----
From: owner-sv-ec@eda-stds.org [mailto:owner-sv-ec@eda-stds.org] On
Behalf Of Swapnajit Chakraborti
Sent: Wednesday, August 09, 2006 11:29 PM
To: Arturo Salz; Ryan, Ray; sv-ec@eda-stds.org
Subject: RE: [sv-ec] Clarification of wildcardbins

In that case how do we represent these two bins?
Would it be g[4'b11??]  and g[4'b1?0?] ?
But that's not how we represent vector bins for a range
of values which Shalom has already pointed out.

Regds,
Swapnajit. 

>-----Original Message-----
>From: Arturo Salz [mailto:Arturo.Salz@synopsys.com] 
>Sent: Tuesday, August 08, 2006 6:22 PM
>To: Swapnajit Chakraborti; Ryan, Ray; sv-ec@eda-stds.org
>Subject: RE: [sv-ec] Clarification of wildcardbins
>
>Swapnajit,
>
>I would think that only two bins are created.
>
>	Arturo
>
>-----Original Message-----
>From: owner-sv-ec@eda-stds.org 
>[mailto:owner-sv-ec@eda-stds.org] On Behalf Of Swapnajit Chakraborti
>Sent: Monday, August 07, 2006 7:22 AM
>To: Ryan, Ray; sv-ec@eda-stds.org
>Subject: RE: [sv-ec] Clarification of wildcardbins
>
>Ray,
>
>I agree with you on this and the modification looks reasonable to me.
>
>Thx,
>Swapnajit. 
>
>>-----Original Message-----
>>From: owner-sv-ec@eda-stds.org
>>[mailto:owner-sv-ec@eda-stds.org] On Behalf Of Ryan, Ray
>>Sent: Saturday, August 05, 2006 3:53 AM
>>To: sv-ec@eda-stds.org
>>Subject: [sv-ec] Clarification of wildcardbins
>>
>>
>>Some clarification is needed for creation of wildcardbins.
>>
>>For the following wildcardbins declaration:
>>
>>	wildcard bins b[] = { 4'b11??, 4'b1?0? } ;
>>
>>how many bins are created? My expectation is that this creates
>>6 bins for the values 1000, 1001, 1100, 1101, 1110, 1111.
>>
>>To clarify this, I propose changing the example in section
>>18.4.2 as follows:
>>
>>Replace:
>>		wildcard bins g12_15 = { 4'b11?? };
>>
>>	The count of bin g12_15 is incremented when the sampled 
>variable is 
>>between 12 and 15:
>>
>>		1100 1101 1110 1111
>>
>>
>>With:
>>		wildcard bins g[] = { 4'b11??, 4'b1?0? };
>>
>>	This declaration creates a set of 6 bins, g[8], g[9], 
>g[12], g[13], 
>>g[14], g[15].
>>
>>
>
>