Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints. - Zurab Khasidashvili; Marcelo Skaba; Daher Kaiss; Ziyad Hanna (ICCAD, 2004)

Post-reboot Equivalence and Compositional Verification of Hardware. - Zurab Khasidashvili; Marcelo Skaba; Daher Kaiss; Ziyad Hanna (FMCAD, 2006)

Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. - Daher Kaiss; Marcelo Skaba; Ziyad Hanna; Zurab Khasidashvili (FMCAD, 2007)