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

Ful tanımlama

Detaylı Bibliyografya
Yazar: Russinoff, David M. (Yazar)
Müşterek Yazar: SpringerLink (Online service)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : 2019.
Imprint: Springer,
Edisyon:1st ed. 2019.
Konular:
Electronic circuits.
Software engineering.
Microprocessors.
Computer architecture.
Computers.
Electronic Circuits and Systems.
Software Engineering.
Processor Architectures.
Hardware Performance and Reliability.
Online Erişim:Full-text access
İçindekiler:
  • 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.

Benzer Materyaller