Hi, I've a deferred assertion enabled by default. For example, sequence a_seq; (A) ##1 (A)[*100]; endsequence property a_ast; @(posedge clk) 1 -> a_seq; endproperty At times I need to terminate the simulation by calling $finish. But the deferred assertion will give error message like *E ASRTST ... has failed (1 cycles, starting 109932 NS). My question is how to get rid of the error message caused by deferred assertion in this situation?
↧