Daher Kaiss Marcelo Skaba Ziyad Hanna Zurab Khasidashvili Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. 20-26 2007 conf/fmcad/2007 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.30 db/conf/fmcad/fmcad2007.html#KaissSHK07