Verifying the SRT division algorithm using theorem proving techniques
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 111-122
- https://doi.org/10.1007/3-540-61474-5_62
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Word level model checking---avoiding the Pentium FDIV errorPublished by Association for Computing Machinery (ACM) ,1996
- Non-restoring integer square root: A case study in design by principled optimizationPublished by Springer Nature ,1995
- An integration of model checking with automated proof checkingPublished by Springer Nature ,1995
- The HOL-Voss system: Model-checking inside a general-purpose theorem-proverPublished by Springer Nature ,1994
- A proof of the nonrestoring division algorithm and its implementation on an ALUFormal Methods in System Design, 1994
- Compatible hardware for division and square rootPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977
- Higher-Radix Division Using Estimates of the Divisor and Partial RemaindersIEEE Transactions on Computers, 1968