Formal Verification of Floating-Point Hardware Design A Mathematical Approach /

• Main Author: Russinoff, David M. (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Subjects: Electronic circuits.; Software engineering.; Microprocessors.; Computer software-Reusability.; Circuits and Systems.; Software Engineering.; Processor Architectures.; Performance and Reliability.

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-poin...