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?