2019 | OriginalPaper | Buchkapitel
18. Multi-Precision Radix-4 SRT Division
verfasst von : David M. Russinoff
Erschienen in: Formal Verification of Floating-Point Hardware Design
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
fdiv64
and fsqrt64
, the first of which, displayed in Appendix D, is the subject of this chapter. This function is based on the implementation of the minimally redundant radix-4 case of SRT division that is addressed by Lemma 10.7 of Sect. 10.2.