Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables

David M. Russinoff. Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables. IEEE Transactions on Computers, 62(5):900-913, 2013. [doi]

Abstract

Abstract is missing.