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

Cadence Contacts

Global Office Locator
Find Offices worldwide »

Sales Inquiry
Request for Product information »
Cadence Channel Partners »

Corporate Headquarters
Cadence Design Systems, Inc.
2655 Seely Avenue
San Jose, CA 95134
Phone: 408.943.1234
* 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.
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 23
    • Points 465
    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.