Polynomial Formal Verification of Floating Point Adders | IEEE Conference Publication | IEEE Xplore