0
Share - dela produkten

Formal Verification of Floating-Point Hardware Design

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 unifie...


Streckkod 9783319955124
Kategori Böcker > Naturvetenskap & teknik > Teknik > Elektronik & kommunikationsteknik > Elektronik > Kretsar & komponenter