Verification of a subtractive radix-2 square root algorithm and implementation | IEEE Conference Publication | IEEE Xplore