This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods.Formal Verification of Floating-Point Hardware Design, Second Editionadvances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies. The theory is extended to the analysis of...