Newton-Raphson Algorithms for Floating-Point Division Using an FMA

Nicolas Louvet 1 Jean-Michel Muller 1 Adrien Panhaleux 1, 2
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Since the introduction of the Fused Multiply and Add (FMA) in the IEEE-754-2008 standard [6] for floating-point arithmetic, division based on Newton-Raphson's iterations becomes a viable alternative to SRT-based divisions. The Newton-Raphson iterations were already used in some architecture prior to the revision of the IEEE-754 norm. For example, Itanium architecture already used this kind of iterations [8]. Unfortunately, the proofs of the correctness of binary algorithms do not extend to the case of decimal floating-point arithmetic. In this paper, we present general methods to prove the correct rounding of division algorithms using Newton-Raphson's iterations in software, for radix 2 and radix 10 floating-point arithmetic.
Type de document :
Communication dans un congrès
21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), 2010, Jul 2010, Rennes, France. IEEE, pp.200-207, 2010
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00549027
Contributeur : Jean-Michel Muller <>
Soumis le : mardi 21 décembre 2010 - 10:25:08
Dernière modification le : vendredi 20 avril 2018 - 15:44:24
Document(s) archivé(s) le : vendredi 2 décembre 2016 - 20:33:17

Fichier

Louvet_et_al2010.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : ensl-00549027, version 1

Collections

Citation

Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux. Newton-Raphson Algorithms for Floating-Point Division Using an FMA. 21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), 2010, Jul 2010, Rennes, France. IEEE, pp.200-207, 2010. 〈ensl-00549027〉

Partager

Métriques

Consultations de la notice

329

Téléchargements de fichiers

1245