Polynomial Formal Verification of Multipliers

Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor. Polynomial Formal Verification of Multipliers. In 15th IEEE VLSI Test Symposium (VTS 97), April 27-May 1, 1997, Monterey, California, USA. pages 150-157, IEEE Computer Society, 1997. [doi]

Abstract

Abstract is missing.