Dhiraj K. Pradhan Magdy S. Abadir Mauricio Varea Recent Advances in Verification, Equivalence Checking and SAT-Solvers. 14 2005 conf/vlsid/2005 VLSI Design http://csdl.computer.org/comp/proceedings/vlsid/2005/2264/00/22640014.pdf db/conf/vlsid/vlsid2005.html#PradhanAV05