↓ Skip to main content
What is this page? Embed badge

Formal Verification of Floating-Point Hardware Design

Overview of attention for book
Cover of 'Formal Verification of Floating-Point Hardware Design'

Table of Contents

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

Citations

dimensions_citation
15 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 15 publications that cite this research output.

15

The most recent citing publications are shown below. View all 15 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.