SIPE: Small Integer Plus Exponent

Vincent Lefèvre 1
1 ARENAIRE - Computer arithmetic
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 computations in very low precisions with correct rounding to nearest. The goal of such a tool is to do proofs of algorithms/properties or computations of error bounds in these precisions, in order to generalize them to higher precisions. The supported operations are the addition, the subtraction, the multiplication, the FMA, and miscellaneous comparisons and conversions.
Document type :
Reports
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-00650659
Contributor : Vincent Lefèvre <>
Submitted on : Monday, December 12, 2011 - 5:42:23 AM
Last modification on : Wednesday, November 20, 2019 - 2:59:11 AM
Long-term archiving on : Tuesday, March 13, 2012 - 2:21:27 AM

File

RR-7832.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00650659, version 1

Collections

Citation

Vincent Lefèvre. SIPE: Small Integer Plus Exponent. [Research Report] RR-7832, INRIA. 2011, pp.21. ⟨hal-00650659⟩

Share

Metrics

Record views

417

Files downloads

360