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

Adding automatic assertions in IFV?

$
0
0

I've used the assertion -add -automatic command.

But this doesn't add any assertions, but gives a warning saying: Session does not have any assertion.

It runs user-defined assertions. Also, when the command is run with this, it says 0 assertions added.

How do I rectify this?


Viewing all articles
Browse latest Browse all 1069

Trending Articles



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