[sv-bc] Re: [sv-ec] open-ended ranges

Non-member submission

 

________________________________

On Behalf Of Swapnajit Chakraborti
Sent: Tuesday, March 07, 2006 11:52 PM
To: Arturo Salz; Bresticker, Shalom; sv-bc@eda.org; sv-ec@eda.org;
sv-ac@eda.org
Subject: RE: [sv-ec] open-ended ranges 

 

Arturo,

 

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.

 

Thx,

Swapnajit.

	 

	
________________________________


	From: Arturo Salz [mailto:Arturo.Salz@synopsys.com] 
	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 

	Swapnajit,

	 

	You found the right reference.

	 

	As for your questions:

	bins b1[] = {[3:4], $, 9} is definitely not legal.

	I believe [$:$] is also illegal, and this is supported by the
BNF:

	 

	open_value_range ::= 

	  expression

	| [ expression : expression ]

	| [ expression : $  ]

	| [$ : expression ]

	 

	Otherwise [$:$] becomes a more verbose form for the whole value
range, which is the same as specifying nothing. 

	 

	            Arturo

	 

	
________________________________


	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 

	 

	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[] = {[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.

	 

	Thx,

	Swapnajit.

	 

		 

		
________________________________


		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 

		I think the complete set of sections where $ is
described in its different uses is:

		 

		5.14

		 

		6.3.2.1

		 

		8.19

		 

		17.5

		17.6

		17.7.2

		 

		18.4

		18.5

		 

		22.4

		 

		A.2.5

		A.2.10

		A.8.4

		A.10.20

		A.10.22

		 

		Shalom

		 

		
________________________________


		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 

		 

		Also see Mantis 966 and 1350.

		 

		Shalom

		 

		
________________________________


		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 

		 

		Well, first it is somewhat described just before 18.5.1.

		 

		But see 6.3.2.1 and particularly 8.19.

		 

		Shalom

		 

		
________________________________


		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 

		 

		It is described in LRM that open-ended ranges can be 

		specified for coverbins. But I coudn't find the exact 

		semantic of this syntax in the LRM. 

		 

		For example,

		[$:5] => what this means for a coverpoint of 3bit size ?

		[5:$] => what this means for a coverpoint of 3bit size ?

		 

		Does it exist somewhere in the LRM? I have seen

		it in queues chapter. But that's not exactly what I

		am looking for.

		 

		Thx,

		Swapnaji