Event và race cùng thời điểm: @ev hay wait(ev.triggered)

Hai thread đồng bộ với nhau bằng event: một bên báo, một bên chờ. Trong mô phỏng, "cùng một thời điểm" không có nghĩa là "cùng lúc": các tiến trình trong một time step chạy theo một thứ tự nào đó mà người viết không kiểm soát. Chờ sai cách thì lần báo bị bỏ lỡ, và testbench treo hoặc chậm một nhịp. Đây là một race kinh điển.

class sync_point;
  event go;
  int   n_fired;                    // tổng số lần fire()
  task  fire();                     // kích hoạt go, n_fired++ (không tốn thời gian)
  task  wait_go();                  // trả về ở lần kích hoạt kế tiếp, HOẶC ngay lập tức nếu go đã được
                                    //   kích hoạt trong chính time step hiện tại
  task  wait_count(int k);          // trả về khi n_fired ≥ k (ngay lập tức nếu đã đủ)
endclass

Yêu cầu:

• wait_go() gọi trong cùng time step với fire() phải trả về ở time step đó, bất kể bên nào chạy trước.
• fire() ở một time step trước không tính: wait_go() phải chờ lần kích hoạt tiếp theo.
• Mọi tiến trình đang chờ đều được giải phóng bởi cùng một lần fire().