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

by M LEESER, J O’LEARY
Venue:In Proceedings of 1995 IEEE Internaational Conference on Computer Design: VLSI in Computer and Processors