Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.

Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz

Browse the full ASPDAC paper archive.