Martin Keim Rolf Drechsler Bernd Becker Michael Martin Paul Molitor Polynomial Formal Verification of Multipliers. 39-58 2003 22 Formal Methods in System Design 1 db/journals/fmsd/fmsd22.html#KeimDBMM03