| |
| 2007 | ||
|---|---|---|
| 3 | EE | Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili: Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. FMCAD 2007: 20-26 |
| 2006 | ||
| 2 | EE | Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna: Post-reboot Equivalence and Compositional Verification of Hardware. FMCAD 2006: 11-18 |
| 2004 | ||
| 1 | EE | Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna: Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints. ICCAD 2004: 58-65 |
| 1 | Ziyad Hanna | [1] [2] [3] |
| 2 | Daher Kaiss | [1] [2] [3] |
| 3 | Zurab Khasidashvili | [1] [2] [3] |