RE: [sv-ec] Randomizing size of associative arrays

In section 17.4 (Random Variable), there are two consecutive bullets.
 - Dynamic and associative arrays can be declared rand or randc. All of
the elements in the array are randomized, overwriting any previous data.

 - The size of a dynamic array declared as rand or randc can also be
constrained. ...

This explicitly allows associative arrays to be declared as random
variable. The
second bullet only allows size constraints on dynamic array. As
consecutive points,
it seems clear that constraining the size of an associative array is not
allowed.
I believe there was some earlier discussion on this and that the
ommission of
associative arrays was intentional.

- Ray

> -----Original Message-----
> From: owner-sv-ec@server.eda.org 
> [mailto:owner-sv-ec@server.eda.org] On Behalf Of Michael Burns
> Sent: Wednesday, October 10, 2007 6:35 PM
> To: sv-ec@server.eda.org
> Subject: [sv-ec] Randomizing size of associative arrays
> 
> 
> Hi folks,
> 
> Is it intended to be able to constrain and randomize the size 
> of an associative array? Draft 4 sec. 17.4 p385 paragraph 3 
> talks about constraining the size of a dynamic array, but not 
> an associative array. In the absence of any other language, 
> one would naturally assume that the intention was not to 
> allow constraining the size of an associative array. However, 
> section 17.5.7 p.393 paragraph 6 uses very similar language, 
> but does include associative arrays. If the intent is to 
> allow randomizing the size of an associative array, I'd like 
> to hear how it was supposed to work - I'm having trouble 
> imagining anything useful, particularly for non-integral 
> index types. On the other hand, it would certainly be useful 
> for associative array randomization to preserve existing size 
> and indices, and only randomize the values.
> 
> If there's a mantis on this already, I'd like to address it 
> in this round. If not, I'd like to know so I can submit one.
> 
> Thanks,
> Mike
> 
> 
> --
> This message has been scanned for viruses and dangerous 
> content by MailScanner, and is believed to be clean.
> 
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.