Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram.

Bijan Alizadeh, Masahiro Fujita

Browse the full CSICC paper archive.