Quartus® Prime Pro Edition Settings File Reference Manual

ID 683296
Date 4/11/2025
Public

Visible to Intel only — GUID: qmu1528324569945

Ixiasoft

Document Table of Contents

1.9.13. EDA_FORMAL_VERIFICATION_ALLOW_RETIMING

Allow register retiming to be turned on for formal verification

Type

Boolean

Device Support

  • This setting can be used in projects targeting any Intel FPGA device family.

Syntax

		set_global_assignment -name EDA_FORMAL_VERIFICATION_ALLOW_RETIMING -section_id <section identifier> <value>
		set_global_assignment -name EDA_FORMAL_VERIFICATION_ALLOW_RETIMING -entity <entity name> -section_id <section identifier> <value>
	

Default Value

Off, requires section identifier