Article ID: 000083570 Content Type: Error Messages Last Reviewed: 07/20/2006

Error: Formal verification is not supported with Incremental Synthesis

Environment

    Verification
BUILT IN - ARTICLE INTRO SECOND COMPONENT
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 articles

Related Products

This article applies to 1 products

Intel® Programmable Devices

1

Need more help?

Contact support

Disclaimer

1

All postings and use of the content on this site are subject to Intel.com Terms of Use.