Quantcast
Channel: Cadence Functional Verification Forum
Viewing all articles
Browse latest Browse all 1069

How to disable deferred assertion error message dynamically?

$
0
0

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?


Viewing all articles
Browse latest Browse all 1069

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>