Verification of IEEE compliant subtractive division algorithms

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
• The formal verification of a pipelined double-precision IEEE floating-point multiplier
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modular verification of SRT division
  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
• Formal methods applied to a floating-point number system
  IEEE Transactions on Software Engineering, 1989
• A formal approach to rounding
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• PRACTICE NOTE No 2 of 1987
  Victorian Reports, 1987
• Compatible hardware for division and square root
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981