Equivalence checking of partial designs using dependency quantified Boolean formulae.

Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker

Browse the full ICCD paper archive.