Marcelo Skaba

According to our database, Marcelo Skaba authored at least 3 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification.

Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Post-reboot Equivalence and Compositional Verification of Hardware.

Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2004

Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints.

Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004