In reply to ben@SystemVerilog.us:
Thanks for that pointer Ben.
I have to clarify one thing though. Deferred assertions’ action block are evaluated in Reactive or Postponed for the respective deferred assertion type.
The post does not touch upon clocking blocks. Would appreciate if anyone could clarify that part.