Intel Quartus Prime Pro Edition User Guide: Third-party Logic Equivalence Checking Tools

RSS

UG-20189 | 2019.08.30

Version Information

Updated for:
Intel® Quartus® Prime Design Suite 18.0

1. OneSpin 360 EC-FPGA Software Support

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.

Document Version	Intel^® Quartus^® Prime Version	Changes
2019.08.30	18.0.0	Replaced all content with reference to OneSpin documentation.
2019.04.26	18.0.0	Updated the title of this guide for latest title naming convention. 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 obsolete.
2018.06.28	18.0.0	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 Intel^® Quartus^® Prime Pro Edition FPGA design flow.