Solution ID: rd07062006_957
Last Modified: May 20, 2008
Product Category: Design Software
Product Area: Simulation/Formal Verification
Product Sub-area: 3rd Party Formal Verification
Software: Quartus II PC
Title
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
Description
The Quartus® II software generates this error message during compilation when you have specified a Formal Verification tool, incremental compilation is turned on, and the design contains user-defined design partitions.
To use the formal verification flow, the incremental compilation option must be on. To avoid this problem, delete all the user-defined partitions and re-compile the design.
This problem may be resolved in a future version of the Quartus II software.
Related Solutions
Feedback
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.
