P.: Polynomial formal verification of multipliers (0)

by M Keim, R Drechsler, B Becker, M Martin, Molitor
Venue:Formal Methods in System Design 22 (2003) 39–58