[sv-bc] Re: open-ended ranges

Another note from Swapnajit

>-----Original Message-----
>Subject: RE: [sv-ec] open-ended ranges
>Date: Wed, 8 Mar 2006 13:22:23 +0530
>Message-ID: 
><AB6886EA43857249936C4BAA61C96DCA7FB275@MAILIN.global.cadence.com>
>Thread-Topic: [sv-ec] open-ended ranges
>Thread-Index: 
>AcZB/ROwvG4cb7otRy2vP1bfSih0FAAKcU8wAA4Y00AABmbuMAAA2nXgAAFkDoA
>AAK2uIA==
>From: "Swapnajit Chakraborti" <swapnaj@cadence.com>
>To: "Arturo Salz" <Arturo.Salz@synopsys.com>,
>        "Bresticker, Shalom" <shalom.bresticker@intel.com>,
>        <sv-bc@server.eda.org>, <sv-ec@server.eda.org>, 
><sv-ac@server.eda.org>
>
>Arturo,
>=20
>Thanks for the clarification. Actually the LRM I am looking at 
>seems outdated as it doesn't have the new rule for open_value_range.
>=20
>Thx,
>Swapnajit.
>
>
>________________________________
>
>	From: Arturo Salz [mailto:Arturo.Salz@synopsys.com]=20
>	Sent: Wednesday, March 08, 2006 1:15 PM
>	To: Swapnajit Chakraborti; Bresticker, Shalom; 
>sv-bc@eda.org; sv-ec@eda.org; sv-ac@eda.org
>	Subject: RE: [sv-ec] open-ended ranges=20
>=09
>=09
>
>	Swapnajit,
>
>	=20
>
>	You found the right reference.
>
>	=20
>
>	As for your questions:
>
>	bins b1[] =3D {[3:4], $, 9} is definitely not legal.
>
>	I believe [$:$] is also illegal, and this is supported by the
>BNF:
>
>	=20
>
>	open_value_range ::=3D=20
>
>	  expression
>
>	| [ expression : expression ]
>
>	| [ expression : $  ]
>
>	| [$ : expression ]
>
>	=20
>
>	Otherwise [$:$] becomes a more verbose form for the 
>whole value range, which is the same as specifying nothing.=20
>
>	=20
>
>	            Arturo
>
>	=20
>
>=09
>________________________________
>
>
>	From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] 
>On Behalf Of Swapnajit Chakraborti
>	Sent: Tuesday, March 07, 2006 11:10 PM
>	To: Bresticker, Shalom; sv-bc@eda.org; sv-ec@eda.org; 
>sv-ac@eda.org
>	Subject: RE: [sv-ec] open-ended ranges=20
>
>	=20
>
>	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
>
>		=20
>
>	=09
>________________________________
>
>
>		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
>
>		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
>
>