An Efficient Logic Equivalence Checker for Industrial Circuits. - Park, Jaehong; Pixley, Carl; Burns, Michael; Cho, Hyunwoo (J. Electron. Test., 2000)