Assertion: Expected data check // A review from a user's question

SystemVerilog
,
5

In reply to ben@SystemVerilog.us:

Hi Ben,

I tried to run your code with Cadence Incisive 15.2.
I got this error:

			($rose(go), push_data(data), my_ticket=get_ticket()) |-> (1,t_check_data(my_ticket)); 
			                                                                       |

ncvlog: *E,SFLNOS (tb.sv,35|75): Delays or wait statements in match item task calls are not supported.

What’s the workaround?

David