Formal Verification of Floating-Point Hardware Design: A Mathematical Approach by David M. Russinoff
English | PDF,EPUB | 2019 | 388 Pages | ISBN : 3319955128 | 22.9 MB
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 advances 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.