[sv-bc] Re: open-ended ranges

Non-member submission. 

>Thread-Topic: [sv-ec] open-ended ranges
>Thread-Index: AcZB/ROwvG4cb7otRy2vP1bfSih0FAAKcU8wAA4Y00AABmbuMAAA2nXg
>From: "Swapnajit Chakraborti" <swapnaj@cadence.com>
>To: "Bresticker, Shalom" <shalom.bresticker@intel.com>, 
><sv-bc@server.eda.org>,
>        <sv-ec@server.eda.org>, <sv-ac@server.eda.org>
>Tue Mar  7 23:10:17 2006
>
>When I tried a search I also found '$' references in many 
>places of LRM.
>For coverage purpose, I think, 8.19, 18.5 & A.10.20 are sufficient.
>In 8.19, I found the following text which tells us how to 
>calculate the range bounds for $.
>"A bound specified by $ shall represent the lowest or highest 
>value for the type of the expression on the left-hand side."
>
>From A.10.20, it appears that '$' cannot be specified as 
>single value for bins. For example, bins b1[] =3D {[3:4], $, 
>9} is not legal. Is it correct? Also should we allow [$:$] for 
>bin ranges?
>I see no issue as it is just another way of specifying the 
>complete value range for a variable.
>=20
>Thx,
>Swapnajit.
>=20
>
>
>________________________________
>
>	From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] 
>On Behalf Of Bresticker, Shalom
>	Sent: Wednesday, March 08, 2006 11:56 AM
>	To: sv-bc@eda.org; sv-ec@eda.org; sv-ac@eda.org
>	Subject: RE: [sv-ec] open-ended ranges=20
>=09
>=09
>
>	I think the complete set of sections where $ is 
>described in its different uses is:
>
>	=20
>
>	5.14
>
>	=20
>
>	6.3.2.1
>
>	=20
>
>	8.19
>
>	=20
>
>	17.5
>
>	17.6
>
>	17.7.2
>
>	=20
>
>	18.4
>
>	18.5
>
>	=20
>
>	22.4
>
>	=20
>
>	A.2.5
>
>	A.2.10
>
>	A.8.4
>
>	A.10.20
>
>	A.10.22
>
>	=20
>
>	Shalom
>
>	=20
>
>=09
>________________________________
>
>
>	From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] 
>On Behalf Of Bresticker, Shalom
>	Sent: Wednesday, March 08, 2006 5:21 AM
>	To: Swapnajit Chakraborti; sv-ec@eda.org
>	Subject: RE: [sv-ec] open-ended ranges=20
>
>	=20
>
>	Also see Mantis 966 and 1350.
>
>	=20
>
>	Shalom
>
>	=20
>
>=09
>________________________________
>
>
>	From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] 
>On Behalf Of Bresticker, Shalom
>	Sent: Tuesday, March 07, 2006 10:40 PM
>	To: Swapnajit Chakraborti; sv-ec@eda.org
>	Subject: RE: [sv-ec] open-ended ranges=20
>
>	=20
>
>	Well, first it is somewhat described just before 18.5.1.
>
>	=20
>
>	But see 6.3.2.1 and particularly 8.19.
>
>	=20
>
>	Shalom
>
>	=20
>
>=09
>________________________________
>
>
>	From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] 
>On Behalf Of Swapnajit Chakraborti
>	Sent: Tuesday, March 07, 2006 5:38 PM
>	To: sv-ec@eda.org
>	Subject: [sv-ec] open-ended ranges=20
>
>	=20
>
>	It is described in LRM that open-ended ranges can be=20
>
>	specified for coverbins. But I coudn't find the exact=20
>
>	semantic of this syntax in the LRM.=20
>
>	=20
>
>	For example,
>
>	[$:5] =3D> what this means for a coverpoint of 3bit size ?
>
>	[5:$] =3D> what this means for a coverpoint of 3bit size ?
>
>	=20
>
>	Does it exist somewhere in the LRM? I have seen
>
>	it in queues chapter. But that's not exactly what I
>
>	am looking for.
>
>	=20
>
>	Thx,
>
>	Swapnaji
>
>