Eda_formal_verification_tool – Altera Quartus II Settings File User Manual
Page 352
Advertising
EDA_FORMAL_VERIFICATION_TOOL
Specifies the EDA third-party tool used for formal verification.
Type
String
Device Support
This setting can be used in projects targeting any Altera device family.
Notes
The value of this assignment is case sensitive.
This assignment is included in the Fitter report.
Syntax
set_global_assignment -name EDA_FORMAL_VERIFICATION_TOOL <value>
set_global_assignment -name EDA_FORMAL_VERIFICATION_TOOL -entity <entity
name> <value>
Default Value
<None>
352
EDA_FORMAL_VERIFICATION_TOOL
MNL-Q21005
2015.05.04
Altera Corporation
Quartus Settings File Reference Manual
Advertising