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