Section 12.8

LRM-195

Change in Table 12-2 (changes in red and blue)

0	OFF	Sets the specified constraint block to active inactive so that it is not considered enforced by subsequent calls to the randomize() method.
1	ON	Sets the specified constraint block to inactive active so that it is not enforced considered on subsequent calls to the randomize() method.

Section 12.15

LRM-148

Change (changes in red and blue):

EDITOR’S NOTE: I updated this syntax box to match randcase in the BNF in Annex A.

Section 12.16

LRM-165

Change Syntax 12-12 (changes in red and blue):

statement_item ::= // from Annex A.6.4

...

| randsequence_statement

randsequence_statement ::= randsequence ( [ production_ identifier ] ) // from Annex A.6.12

production { production }

endsequence

LRM-165

Change (changes in red and blue):

EDITOR’S NOTE: Having the production name “randsequence” be the same as the keyword randsequence is confusing. Should the production name be “randsequence_statement”, similar to “randcase_statement”?

Section 12.16.4

LRM-164

Change (changes in red and blue):

The repeat production statement itself cannot be terminated prematurely. A break statement will terminate the entire randsequence block (see Section 12.14.6 12.16.6).

EDITOR’S NOTE: What is the correct cross reference for above?