Section 13 Random constraints

In 13.7 ADD at the end of the section

 

If a random variable is declared as static, the rand_mode state of the variable shall also be static. For example, if rand_mode() is set to inactive, the random variable is inactive in all instances of the parent class.

 

In 13.3.2 ADD at the end of the section

 

If a random variable is declared as static, the randc state of the variable shall also be static. Thus randomize chooses the next cyclic value (from a single sequence) when the variable is randomized through any instance of the parent class.