In reply to ben@SystemVerilog.us:
Thank you very much, ben. I read your reply, and it explains the usage of event_name.triggered with the wait statement very well. But unless I’m missing the point, it doesn’t quite answer my question. What I’m confused about is the difference between eventname.triggered and eventname, when used with the @ operator, not the wait statement. I have seen examples that use @(event_name), while some other examples use @(event_name.triggered). I assume these two are equivalent but I’m not sure if I’m right.