Home > Community > Forums > Functional Verification > Adding automatic assertions in IFV?

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Adding automatic assertions in IFV? 

Last post Mon, Jun 10 2013 10:22 PM by BharathECE. 1 replies.
Started by Buvna 31 May 2013 01:48 AM. Topic has 1 replies and 530 views
Page 1 of 1 (2 items)
Sort Posts:
  • Fri, May 31 2013 1:48 AM

    • Buvna
    • Top 500 Contributor
    • Joined on Fri, May 31 2013
    • Posts 19
    • Points 245
    Adding automatic assertions in IFV? Reply

    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?

    • Post Points: 20
  • Mon, Jun 10 2013 10:22 PM

    • BharathECE
    • Not Ranked
    • Joined on Fri, Mar 22 2013
    • Hyderabad, Andhra Pradesh
    • Posts 12
    • Points 210
    Re: Adding automatic assertions in IFV? 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 

    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by Buvna at 31 May 2013 01:48 AM. Topic has 1 replies.