Multi-precision Radix-4 SRT Square Root
| Autor: | David M. Russinoff |
|---|---|
| Rok vydání: | 2021 |
| Předmět: | |
| Zdroj: | Formal Verification of Floating-Point Hardware Design ISBN: 9783030871802 Formal Verification of Floating-Point Hardware Design ISBN: 9783319955124 |
| DOI: | 10.1007/978-3-030-87181-9_20 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|