Automatic Polynomial Formal Verification of a Floating-Point Multiplier.

Jan Kleinekathfer, Rolf Drechsler

Browse the full DSD paper archive.