SVA signal stability check between 2 events

In reply to ben@SystemVerilog.us:

No, the join_any does not automatically kill the processes spawned by the fork (see SV 2012 std, par.9.6.3).
About the generate, well maybe it can help, I have never used it extensively.
Thanks,

Lanfranco