David M. Russinoff is Principal Engineer at Arm Holdings. He holds a bachelor”s degree from the Massachusetts Institute of Technology and a doctorate from New York University, both in mathematics, and a master”s in computer sciences from the University of Texas at Austin. He has spent twenty-five years developing mathematical methods of hardware verification, with an emphasis on interactive theorem proving, and applying them in the analysis of commercial designs, especially arithmetic circuits.
2 Ebooks oleh David M. Russinoff
David M. Russinoff: 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 …
PDF
Inggris
€90.94
David M. Russinoff: 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, Seco …
PDF
Inggris
€106.99
