Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili.
Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification
1 The only Israeli Semiconductor Foundry Tower Semiconductor.