Polynomial Formal Verification of Multipliers.

Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor

Browse the full VTS paper archive.