Formal Verification of Floating-Point Hardware Design: A Mathematical Approach - Couverture souple

Russinoff, David M.

 
9783319955148: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9783319955124: Formal Verification of Floating-Point Hardware Design

Edition présentée

ISBN 10 :  3319955128 ISBN 13 :  9783319955124
Editeur : Springer, 2018
Couverture rigide