Arun Chandra Li-C. Wang Magdy S. Abadir Practical Considerations in Formal Equivalence Checking of PowerPC(tm) Microprocessors. 362-367 1998 conf/glvlsi/1998 Great Lakes Symposium on VLSI http://doi.ieeecomputersociety.org/10.1109/GLSV.1998.665314 db/conf/glvlsi/glvlsi1998.html#ChandraWA98