Ditemukan 2 dokumen yang sesuai dengan query
Eva Magdalena M.
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997
S26968
UI - Skripsi Membership Universitas Indonesia Library
Russinoff, David M.
"
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-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 ...
"
Switzerland: Springer Cham, 2019
e20502864
eBooks Universitas Indonesia Library
