Home > Community > Tags > IFV IEV Trace Trigger
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more convenient.

Register | Membership benefits
Get email delivery of the Cadence blog (individual posts).


* 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 IEV Trace Trigger

Sorry, but there are no more tags available to filter with.
  • Re: IFV assertion check problem

    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.
    Posted to Functional Verification (Forum) by JoergM on Tue, Jan 22 2013
Page 1 of 1 (1 items)