Télécharger le livre :  Formal Verification of Floating-Point Hardware Design
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...

Editeur : Springer
Parution : 2022-03-03
PDF, ePub

116,04

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Formal Verification of Floating-Point Hardware Design
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...

Editeur : Springer
Parution : 2018-10-13
PDF, ePub

89,66

Téléchargement immédiat
Dès validation de votre commande