Stats

  • Locked Locked
  • Replies 1
  • Subscribers 65
  • Views 12985
  • 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

Adding automatic assertions in IFV?

Buvna

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?

Parents

  • Even i had same kind of issue with my module formal verification where there were no automatic bus check assertions added.I think it means tool not finding anything where it can make create automatic assertions.Please some one rectify me if iam wrong.

    Thanks

    Bharath 

Reply

  • Even i had same kind of issue with my module formal verification where there were no automatic bus check assertions added.I think it means tool not finding anything where it can make create automatic assertions.Please some one rectify me if iam wrong.

    Thanks

    Bharath 

Children
No Data

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.