[sv-bc] 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