Polynomial Formal Verification of Approximate Adders | IEEE Conference Publication | IEEE Xplore