Exact and Approximated error of the FMA - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles IEEE Transactions on Computers Year : 2011

Exact and Approximated error of the FMA


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.
Fichier principal
Vignette du fichier
fma_err.pdf (129.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00429617 , version 1 (03-11-2009)



Sylvie Boldo, Jean-Michel Muller. Exact and Approximated error of the FMA. IEEE Transactions on Computers, 2011, 60 (2), pp.157-164. ⟨10.1109/TC.2010.139⟩. ⟨inria-00429617⟩
448 View
558 Download



Gmail Facebook Twitter LinkedIn More