Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking | IEEE Conference Publication | IEEE Xplore