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]
No references recorded for this publication.
No citations of this publication recorded.