автор: David M. Russinoff

поддержка
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 Электронные книги 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
английский
€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
английский
€106.99