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

Miriam Leeser, John W. O'Leary

Browse the full ICCD paper archive.