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
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
Figure
17-6 — ANDing (and) two boolean rexpressions
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.