Именованные события (event)

В случае, если событие используется несколько раз в модуле, ему можно задать имя. Это позволяет упростить код и уменьшить вероятность ошибки при изменении события.

Для обозначения события используется ключевое слово event. Срабатывание события указывается через ->. Ожидание события описывается как @().

Пример

module named_events_tb;
  event e1;  

  initial begin
    #10; $display("Triggering an event e1 at %0t", $time);
    ->e1;
  end  
  initial begin
    @(e1) $display("Event e1 is triggered at %0t", $time);
  end
endmodule

Результат исполнения

Triggering an event e1 at 10
Event e1 is triggered at 10