Polynomial Formal Verification of Multipliers (1997)

by Martin Keim , Michael Martin , Bernd Becker , Rolf Drechsler , Paul Molitor
Citations:12 - 4 self