Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover

This publication has 9 references indexed in Scilit:

• Rewriting, decision procedures and lemma speculation for automated hardware verification
  Published by Springer Nature ,1997
• Verifying the SRT division algorithm using theorem proving techniques
  Published by Springer Nature ,1996
• Completeness and consistency analysis of state-based requirements
  Published by Association for Computing Machinery (ACM) ,1995
• SCR*: A Toolset for Specifying and Analyzing Requirements
  Published by Defense Technical Information Center (DTIC) ,1995
• Radix-4 square rot without initial PLA
  IEEE Transactions on Computers, 1990
• Design of a Hih-Speed Square Root Multiply and Divide Unit
  IEEE Transactions on Computers, 1987
• Compatible hardware for division and square root
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• 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