Section 17.6

LRM-113

Changes:

sequence s1;

@(posedge clk) a ##1 b ##1 c;

endsequence

sequence s2;

@(posedge clk) d ##1 e ##1 f;

endsequence

sequence s3;

@(nededge negedge clk) g ##1 h ##1 i;

endsequence

Section 17.7.1

LRM-124

Changes:

The syntax allows combination of a delay and a repeat in the same sequence. The following are both allowed:

true ##3 (a [*3])         // means ‘true ##1 ‘true ##1‘true ##1 a ##1 a ##1 a

(‘true ##2 a) [*3]         // means (‘true ##2 a) ##1 (‘true ## 2 a) ##1

// (‘true ##2 a), which which means ‘true ##1 ‘true ##1

// a ##1‘true ##1 ‘true ##1 a ##1‘true ##1‘true ##1 a

Section 17.7.3

LRM-125

Changes:

Figure 17-6 — ANDing (and) two boolean rexpressions

Section 17.10

LRM-126

Changes:

The disabble disable iff clause allows the specification of asynchronous resets. For a particular attempt, if the boolean expression becomes true at any time during the evaluation of the attempt, then the attempt for the property is considered to be a success.