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

Ful tanımlama

Detaylı Bibliyografya
Yazar: Russinoff, David M. (Yazar)
Müşterek Yazar: SpringerLink (Online service)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : 2019.
Imprint: Springer,
Edisyon:1st ed. 2019.
Konular:
Electronic circuits.
Software engineering.
Microprocessors.
Computer architecture.
Computers.
Electronic Circuits and Systems.
Software Engineering.
Processor Architectures.
Hardware Performance and Reliability.
Online Erişim:Full-text access

Internet

Full-text access

Merkez Kütüphane

Detaylı Erişim Bilgileri Merkez Kütüphane
Kopya Bilgisi UnknownBarcode

Benzer Materyaller