In reply to ben@SystemVerilog.us:
Hi Ben,
I came accross this thread and I was wondering shouldn’t we have disable fork; just after join any in your example for asynchronous check. With disable fork, we will avoid assertion failure after the @(posedge c) occurrance.
Best Regards,
Ivo Milev