Marcelo Skaba

	2007
3		Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili: Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. FMCAD 2007: 20-26
	2006
2		Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna: Post-reboot Equivalence and Compositional Verification of Hardware. FMCAD 2006: 11-18
	2004
1		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

Coauthor Index

1	Ziyad Hanna	[1] [2] [3]
2	Daher Kaiss	[1] [2] [3]
3	Zurab Khasidashvili	[1] [2] [3]