2019 | OriginalPaper | Chapter
19. Multi-Precision Radix-4 SRT Square Root
Author : David M. Russinoff
Published in: Formal Verification of Floating-Point Hardware Design
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
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.