Solution ID: rd07062006_397
Last Modified: Jul 20, 2006
Product Category: Design Software
Product Area: Simulation/Formal Verification
Product Sub-area: 3rd Party Formal Verification
Software: Quartus II PC

Title

Error: Formal verification is not supported with Incremental Synthesis

Description

The Quartus® II software versions 5.1, 5.1 SP1 and 5.1 SP2 generate this error if you select a third-party formal verification tool and the incremental compilation option is turned on.

Beginning in the Quartus II software version 6.0, third-party formal verification requires that the incremental compilation option is turned on.

 

Related Solutions

• Error: Even though Formal Verification must be used with Incremental Compilation being set to Full Incremental Compilation, compilation for Formal Verification does not support user-defined partitions for this release

---

---

Altera does not warrant that this solution will work for the customer's intended purpose and disclaims all liability for use of or reliance on the solution.