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