Exact and Approximated error of the FMA

Sylvie Boldo 1, 2 Jean-Michel Muller 3, 4
1 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
4 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : The fused multiply accumulate-add (FMA) instruction, specified by the IEEE 754-2008 Standard for Floating-Point Arithmetic, eases some calculations, and is already available on some current processors such as the Power PC or the Itanium. We first extend an earlier work on the computation of the exact error of an FMA (by giving more general conditions and providing a formal proof). Then, we present a new algorithm that computes an approximation to the error of an FMA, and provide error bounds and a formal proof for that algorithm.
Type de document :
Article dans une revue
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.157-164. <10.1109/TC.2010.139>
Liste complète des métadonnées


https://hal.inria.fr/inria-00429617
Contributeur : Sylvie Boldo <>
Soumis le : mardi 3 novembre 2009 - 16:45:02
Dernière modification le : jeudi 9 février 2017 - 15:55:12
Document(s) archivé(s) le : mardi 16 octobre 2012 - 13:10:55

Fichier

fma_err.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Sylvie Boldo, Jean-Michel Muller. Exact and Approximated error of the FMA. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.157-164. <10.1109/TC.2010.139>. <inria-00429617>

Partager

Métriques

Consultations de
la notice

521

Téléchargements du document

201