Verication of a subtractive radix-2 square root algorithm and implementation (1995)

by M Leeser, J O' Leary
Venue:Proc. ICCD;95