Formal Verification of Floating-Point Hardware Design : A Mathematical Approach - Russinoff, David M. (Springer International Publishing AG, 2022)