Section 12.7

LRM-311

Change (changes in red and blue)

For unpacked array variables, random_variable can specify individual elements using the corresponding index. Omitting the index results in all the elements of the array being affected by the call.

For unpacked structure variables, random_variable can specify individual members using the corresponding member. Omitting the member results in all the members of the structure being affected by the call.

Section 12.15

LRM-310

Change (changes in red and blue)

Randcase statements exhibit thread stability. The random numbers are obtained from $urandom_range, thus, random values drawn are independent of thread execution order. This may result multiple calls to $urandom_range to handle greater than 32 bits.