Cover Image
Read Now

Formal Verification of Floating-Point Hardware Design A Mathematical Approach

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 Edition advances a verification methodology based on a unified theory of register-transfer logic a...

Full description

Bibliographic Details
Main Author: Russinoff, David M.
Format: eBook
Language:English
Published: Cham Springer International Publishing 2022, 2022
Edition:2nd ed. 2022
Subjects:
Electronics Design And Verification
Hardware Performance And Reliability
Computers
Computer Arithmetic And Logic Units
Electronic Circuit Design
Computer Hardware
Processor Architectures
Arithmetic And Logic Structures
Microprocessors
Computer Architecture
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Part I - Register-Transfer Logic
  • Basic Arithmetic Functions
  • Bit Vectors
  • Logical Operations
  • Part II - Floating-Point Arithmetic
  • Floating-Point Numbers
  • Floating-Point Formats
  • Rounding
  • IEEE-Compliant Square Root
  • Part III - Implementation of Elementary Operations
  • Addition
  • Multiplication
  • SRT Division and Square Root
  • FMA-Based Division
  • Part IV - Comparative Architectures: SSE, x87, and Arm
  • SSE Floating-Point Instructions
  • x87 Instructions
  • Arm Floating-Point
  • Instructions
  • Part V - Formal Verification of RTL Designs
  • The RAC Modeling Language
  • Double-Precision Multiplication and Scaling
  • Double-Precision Addition and FMA
  • Multi-Precision Radix-8 SRT Division
  • 64-bit Integer Division
  • Multi-Precision Radix-4 SRT Square Root
  • Multi-Precision Radix-2 SRT Division
  • Fused Multiply-Add of a Graphics Processor

Similar Items