Stats

  • Locked Locked
  • Replies 0
  • Subscribers 64
  • Views 1253
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

How to disable deferred assertion error message dynamically?

Jeff000

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?

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.