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

Table of Contents:

• 1 Basic Arithmetic Functions
• 2 Bit Vectors
• 3 Logical Operations
• 4 Floating-Point Numbers
• 5 Floating-Point Formats
• 6 Rounding
• 7 IEEE-Compliant Square Root
• 8 Addition
• 9 Multiplication
• 10 SRT Division and Square Root
• 11 FMA-Based Division
• 12 SSE Floating-Point Instructions
• 13 x87 Instructions
• 14 Arm Floating-Point Instructions
• 15 The Modeling Language
• 16 Double-Precision Multiplication
• 17 Double-Precision Addition and FMA
• 18 Multi-Precision Radix-4 SRT Division
• 19 Multi-Precision Radix-4 SRT Square Root.