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?
Image may be NSFW.Clik here to view.
