Home > Community > Forums > Functional Verification > IFV assertion check problem

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: *

 IFV assertion check problem 

Last post Tue, Jan 22 2013 9:58 PM by JoergM. 1 replies.
Started by stone14041 22 Jan 2013 06:22 PM. Topic has 1 replies and 833 views
Page 1 of 1 (2 items)
Sort Posts:
  • Tue, Jan 22 2013 6:22 PM

    • stone14041
    • Not Ranked
    • Joined on Wed, Jan 23 2013
    • Posts 1
    • Points 20
    IFV assertion check problem Reply

     

    When I  was running  a IFV assertion check,the result was "Pass",but the trigger item showed "Blank",and the Trace item showed "Not run".

     I want to know that whether the assertion check was OK or not.Was it a real pass?

    • Post Points: 20
  • Tue, Jan 22 2013 9:58 PM

    • JoergM
    • Top 500 Contributor
    • Joined on Thu, Jul 17 2008
    • Munich, Bavaria
    • Posts 28
    • Points 550
    Re: IFV assertion check problem Reply

    Hi,

    1. The property probably does not have a trigger, like "assert never {a && b}" - can you confirm that?

    2. In order to get the trace you need to add "define witness auto" or "define witness trace" before the prove command

    Jörg.

    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by stone14041 at 22 Jan 2013 06:22 PM. Topic has 1 replies.