David M. Russinoff
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Auteur(s) : David M. Russinoff
Date de publication : 05-03-2023
Edition : Springer
Type : Broche
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 and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies.
The theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations.... Lire la suite
Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies.
The theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations.... Lire la suite
Cote de Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
109 €
= stable
Sur 12 mois : de 106 € à 111 € · Prix moyen : 109 €
Fiabilité : +++ Élevée — Le prix reste proche de la cote (écart typique ±0 €).
Cote calculée sur les 12 derniers mois
Évolution de la cote — médiane mensuelle sur 12 mois
Plus le chiffre est bas, plus le livre se vend.
Le produit a bien été ajouté au panier
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Etat : N/A
Prix : 0
Total, 0 article : 0