Modular verification of SRT division

This publication has 10 references indexed in Scilit:

• Verification of a subtractive radix-2 square root algorithm and implementation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Verifying the SRT division algorithm using theorem proving techniques
  Published by Springer Nature ,1996
• Anatomy of the Pentium bug
  Published by Springer Nature ,1995
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• A proof of the nonrestoring division algorithm and its implementation on an ALU
  Formal Methods in System Design, 1994
• Compatible hardware for division and square root
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• Higher-Radix Division Using Estimates of the Divisor and Partial Remainders
  IEEE Transactions on Computers, 1968
• High-Speed Arithmetic in Binary Computers
  Proceedings of the IRE, 1961
• A New Class of Digital Division Methods
  IRE Transactions on Electronic Computers, 1958
• TECHNIQUES OF MULTIPLICATION AND DIVISION FOR AUTOMATIC BINARY COMPUTERS
  The Quarterly Journal of Mechanics and Applied Mathematics, 1958