SIPE: Small Integer Plus Exponent - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

SIPE: Small Integer Plus Exponent

Vincent Lefèvre
Connectez-vous pour contacter l'auteur

Abstract

SIPE (Small Integer Plus Exponent) is a mini-library in the form of a C header file, to perform floating-point computations in very low precisions with correct rounding to nearest in radix 2. The goal of such a tool is to do proofs of algorithms/properties or computations of tight error bounds in these precisions by exhaustive tests, in order to try to generalize them to higher precisions. The currently supported operations are addition, subtraction, multiplication (possibly with the error term), FMA, and miscellaneous comparisons and conversions. Timing comparisons have been done with hardware IEEE-754 floating point and with GNU MPFR.
SIPE (Small Integer Plus Exponent) est une mini-bibliothèque sous forme de fichier d'en-tête C permettant d'effectuer des calculs en virgule flottante à très basses précisions avec arrondi correct au plus près en base 2. Le but d'un tel outil est de faire des preuves d'algorithmes/propriétés ou des calculs de bornes d'erreur dans ces précisions, afin de les généraliser à des précisions supérieures. Les opérations actuellement supportées sont l'addition, la soustraction, la multiplication (éventuellement avec terme d'erreur), le FMA, et diverses comparaisons et conversions. Des comparaisons de temps de calcul ont été faites avec la virgule flottante IEEE 754 du processeur et avec GNU MPFR.
Fichier principal
Vignette du fichier
arith21.pdf (140.76 Ko) Télécharger le fichier
sipe-timings.tar.xz (15.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Format : Other
Loading...

Dates and versions

hal-00763954 , version 1 (12-12-2012)
hal-00763954 , version 2 (24-01-2013)
hal-00763954 , version 3 (25-01-2013)

Identifiers

  • HAL Id : hal-00763954 , version 3

Cite

Vincent Lefèvre. SIPE: Small Integer Plus Exponent. 21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States. ⟨hal-00763954v3⟩
235 View
188 Download

Share

Gmail Facebook X LinkedIn More