Multi-Precision Radix-4 SRT Square Root
Finally, we present the function fsqrt64, which performs double-, single-, and half-precision square root extraction. This function, which is listed in Appendix E, is based on an implementation of the minimally redundant radix-4 case of SRT square root extraction characterized by Lemma 10.15 of Sect. 10.5. As noted in Chap. 18, it is derived from the same RTL module as the function fdiv64. The design shares hardware between the two operations for post-processing; therefore, the auxiliary functions computeQ, rounder, and final are shared by the two models.