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

Zurab Khasidashvili Marcelo Skaba Daher Kaiss Ziyad Hanna Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints. 58-65 2004 conf/iccad/2004 ICCAD http://doi.acm.org/10.1145/1112239.1112255 db/conf/iccad/iccad2004.html#KhasidashviliSKH04