Quartus® Prime Pro Edition Settings File Reference Manual

ID 683296
Date 4/11/2025
Public

Visible to Intel only — GUID: nos1528324570325

Ixiasoft

Document Table of Contents

1.9.14. 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 Intel FPGA 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>