You can optionally use the third-party OneSpin 360 EC-FPGA* sequential equivalence checking tool to verify
logic equivalence between specific netlists. For more information about 360 EC-FPGA*, contact OneSpin.
2. OneSpin 360 EC-FPGA Software Support Revision History
This document has the following revision history.
Quartus® Prime Version
Replaced all content with reference to OneSpin
Updated the title of this guide for latest title naming
Removed set_global_assignment -name
EDA_GENERATE_FUNCTIONAL_NETLIST ON -section_id
eda_simulation assignment from Verifying
Post-Route Retiming with OneSpin 360 EC-FPGA*
Software topic since the assignment is
Initial release of document.
A. Intel Quartus Prime Pro Edition User Guides
Refer to the following user guides for comprehensive information on
all phases of the
Quartus® Prime Pro Edition FPGA design