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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.