Question

我们可以延迟过程代码的执行直到一个序列终结状态为“真”。为了达到这个目的，我们可以使用电平敏感的wait语句并结合内建方法triggered来实现，这个内建方法能够返回一个命名序列当前的结束状态。

如果指定的序列已经在特定的时间点（在当前的时间步值内）上到达了它的结束点，那么triggered方法返回“真”，否则返回“假”。一个序列的触发状态在Observe区域内设置，并且在时间步值的余下部分保持（也就是说直到仿真时间进入到下一步）。

例如：

sequence abc;
    @(posedge clk) a ##1 b ##1 c;
endsequence

sequence de;
    @(negedge clk) d ##[2:5] e;
endsequence

program check;
    initial begin
        wait(abc.triggered || de.triggered);

        if(abc.triggered)
            $display("abc succeeded");

        if(de.triggered)
            $display("de succeeded");

        L2 : ...
    end
endprogram

在上面的例子中，程序check中的initial块或者等待序列abc的结束点（成功）或者等待序列de的结束点。当其中一个条件满足的时候，wait语句解除进程的阻塞，它显示引起进程解除阻塞的序列，然后继续执行标记为L2的语句。