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