Formal Verification of Floating-Point Hardware Design: A Mathematical Approach b
117,41 €
These were derived as required in the verification of the new RTL designs described in Part V. David M. Russinoff is Senior 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.
Jetzt bei Ebay:
