Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
94.99 CHF
Versandkostenfrei
Lieferzeit ca. 5 Tage
- Artikel-Nr.: 10475105
Beschreibung
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.
Eigenschaften
Breite: | 165 |
Gewicht: | 760 g |
Höhe: | 240 |
Länge: | 28 |
Seiten: | 382 |
Sprachen: | Englisch |
Autor: | David M. Russinoff, J Strother Moore |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen