Question

SystemVerilog能够从在整个时间步值期间持续（也就是直到仿真时间继续）的事件触发状态中辨别事件触发器本身（瞬时的）。触发的事件特性允许用户检查这个状态。

触发的特性使用一个类似于方法的语法来调用：

hierarchical_event_identifier.triggered

如果指定的事件在当前的时间步值中已经被触发那么触发的事件特性计算成真，否则计算成假。如果事件标识符为null，那么触发的事件特性计算成假。

触发的事件特性在一个wait结构的关联文中最为有用：

wait (hierarchical_event_identifier.triggered)

使用这种机制，一个事件触发器应该为等待进程解除阻塞，无论它在触发操作之前执行还是在与触发操作相同的仿真时间上执行。因此，当触发和等待同时发生的时候，触发的事件特性能够消除一个普通的竞争条件。根据等待和触发进程的执行顺序，一个阻塞一个事件的进程既可以也能够不解除阻塞。然而，无论等待和触发操作的顺序如何，一个等待触发状态的进程总是解除阻塞。

例子：

event done, blast;     // 声明两个新的事件
event done_too = done; // 将done_too声明成done的别名

task trigger(event ev);
    -> ev;
endtask

...

fork
    @ done_too;       // 通过done_too等待done
    #1 trigger(done); // 通过任务trigger触发done
join

fork
    -> blast;
    wait (blast.triggered);
join

上面例子中的第一条分支语句显示了两个事件标识符（done和done_too）如何引用相同的同步对象，它还显示了一个事件怎样被传递到一个通用的触发这个事件的任务。在这个例子中，一个进程通过done_too等待事件，而真实的触发通过将done作为一个参数传递的trigger任务完成的。

在第二条分支语句中，一个进程可以在另外一个进程（如果fork...jion中的进程以源顺序执行）有机会执行并等待这个事件之前触发事件。尽管如此，第二个进程会解除阻塞并且fork会中止。这是因为进程等待事件的触发状态，它在时间步值的持续期内保持它的触发状态。