Doubt on multi threaded assertions

[dave_59]

Question on goto and non-consecutive repetition operators

The SYSTEM VERILOG ASSERTIONS HANDBOOK, 4th Edition states following on page no. 36: Do not use first_match function in a sequence that is an antecedent that has goto repetition operator unless that sequence has other expressions which are multi-ranged. Thus a ##1 b[->1] |-> c; //first_match is not needed here because once b==1, there could not be another thread of !b. The book also states on page no. 37 that for non-consecutive repetition operator, in an antecedent, we NEED TO USE first_matc…