D. M. Russinoff

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon TM Processor

D. M. Russinoff (2000) · Springer Berlin Heidelberg

A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor

D. M. Russinoff (1998) · Wiley