In reply to a72:
// an assertion of the form
a |-> ##[1:$] b ##0 c; // will never fail
// because there are other thread's to check.
// the fixes:
a |-> b[->1] ##0 c; // preferred
a |-> first_match(##[1:$] b) ##0 c; // option
Ben systemverilog.us