In reply to santosh manur:
For consequent that is a sequence to fail at end of simulation, it needs to be identified as “strong”
a |-> strong(##[1:$] b);
a |-> ##[1:$] b;
// if a==1 and b==1 8 cycles later
// assertion should pass
Ben systemverilog.us