SIPE: Small Integer Plus Exponent

Vincent Lefèvre 1, *
* Corresponding author
1 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
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.
Document type :
Conference papers
21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States. 2013
Liste complète des métadonnées

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-00763954
Contributor : Vincent Lefèvre <>
Submitted on : Friday, January 25, 2013 - 2:26:56 AM
Last modification on : Saturday, April 21, 2018 - 1:27:23 AM
Document(s) archivé(s) le : Friday, April 26, 2013 - 3:54:57 AM

Files

Identifiers

  • HAL Id : hal-00763954, version 3

Collections

Citation

Vincent Lefèvre. SIPE: Small Integer Plus Exponent. 21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States. 2013. 〈hal-00763954v3〉

Share

Metrics

Record views

247

Files downloads

134