Formal Verification of Floating-Point Hardware Design A Mathematical Approach /

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 register-transfer logic and floating-poin...

Full description

Bibliographic Details
Main Author: Russinoff, David M. (Author)
Corporate Author: SpringerLink (Online service)
Format: e-Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Subjects:
Electronic circuits.
Software engineering.
Microprocessors.
Computer architecture.
Computers.
Electronic Circuits and Systems.
Software Engineering.
Processor Architectures.
Hardware Performance and Reliability.
Online Access:Full-text access
View in OPAC

Internet

Full-text access
View in OPAC

Merkez Kütüphane

Holdings details from Merkez Kütüphane
Copy UnknownBarcode

Similar Items