Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking. - David M. Russinoff; Javier D. Bruguera; Cuong Chau; Mayank Manjrekar; Nicholas Pfister; Harsha Valsaraju (ARITH, 2022)