Verification of a subtractive radix-2 square root algorithm and implementation

This publication has 4 references indexed in Scilit:

• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• A proof of the nonrestoring division algorithm and its implementation on an ALU
  Formal Methods in System Design, 1994
• Using Nuprl for the verification and synthesis of hardware
  Philosophical Transactions A, 1992
• The VLSI implementation of a square root algorithm
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985