Ben, Thanks very much. One step forward. I think I understand.
You mention:
In a consequent, you are looking for a PASS. Thus, if either thread of an ORing sequence matches, then there is NO NEED to test the other thread.
Agree.
Also, you have mentioned
((sequence1 or sequence2) ##1 seq3
// is equivalent to
(sequence1 ##1 sequence3) or (sequence1 ##1 sequence3)
I still have a question on my case, though. In my case, when sequence1 (namely, ( (a ##[1:5] b, y = data1, $display($stime,“From sequence s1 : A B complete y=%0b”,y)) ) passes, shouldn’t the " ##1 (1’b1,$display($stime,“y=%b”, y) ); " execute? I understand that the second thread of OR is a don’t care since first thread passes. But once the first thread passes, shouldn’t the " ##1 (1’b1,$display($stime,“y=%b”, y) ); " subsequence execute?
Hope the question makes sense. If not, please don’t bother.
Thanks.