Formal Verification Page (Settings Dialog Box)

You open this dialog box by clicking EDA Tool Settings in the Settings dialog box, and then clicking Formal Verification.

Allows you to specify an EDA formal verification tool.

Tool name:

Specifies the EDA tool you are using for formal verification.

Scripting Information

Keyword: eda_formal_verification_tool

Settings:"Conformal LEC" | "Formality" | "<None>"*

*default

Output directory:

The location of the output directory for the selected EDA formal verification tool. The name contains the type of tool or output format, followed by the tool name. For example, the default value for the Formality formal verification software is fv/formality.

Allow register retiming:

Allows you to use the register retiming physical synthesis option.

Related reference

Settings Dialog Box
Related information

Scripting Information

Contact Altera | Legal Notice

Copyright© 2015 Altera Corporation. All rights reserved. ALTERA, ARRIA, CYCLONE, HARDCOPY, MAX, MEGACORE, NIOS, QUARTUS, STRATIX, and all other brands, unless noted otherwise, and/or trademarks of Altera Corporation in the U.S. and other countries.