Formal Verification of Floating-Point Hardware Design - Russinoff; Moore, J. Strother (Springer International Publishing, 2019)