Section 12.1

LRM-300

Changes:

The random constraints are built on top of an object oriented class system data abstraction that models the data to be randomized as objects that contain random variables and user-defined constraints. The constraints determine the legal values that can be assigned to the random variables. Objects are ideal for representing complex aggregate data types and protocols such as Ethernet packets.

Section 12.3

LRM-280

Changes:

Changes are made in A.1.8 that correctly defines rand and randc syntax. Please use here.

Remove editor’s note:

Editor’s Note: I could not find this syntax in the BNF.

Section 12.11.3

LRM-281

Changes:

initial begin

Foo foo = new();

Bar bar = new();

integer z;

void = void’foo.randomize();

// z = $random;

void = void’bar.randomize();

end

LRM-281

Remove editor’s note:

Editor’s Note: Is “void = “ legal? See Section 10.3.2