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?
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.