Marcelo Skaba

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili
Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. FMCAD (2007)
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna
Post-reboot Equivalence and Compositional Verification of Hardware. FMCAD (2006)
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna
Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints. ICCAD (2004)