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

Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna

Browse the full ICCAD paper archive.