Zurab Khasidashvili Marcelo Skaba Daher Kaiss Ziyad Hanna Post-reboot Equivalence and Compositional Verification of Hardware. 11-18 2006 conf/fmcad/2006 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.25 db/conf/fmcad/fmcad2006.html#KhasidashviliSKH06