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

Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili

Browse the full FMCAD paper archive.