Emulating round-to-nearest-ties-to-zero "augmented" floating-point operations using round-to-nearest-ties-to-even arithmetic - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2019

Emulating round-to-nearest-ties-to-zero "augmented" floating-point operations using round-to-nearest-ties-to-even arithmetic

Résumé

The IEEE 754 Standards Committee for Floating-Point Arithmetic is recommending, in its draft standard, that new "augmente"' operations should be added in the next release of the standard. These operations use a new "rounding direction": round to nearest ties-to-zero. We show how they can be implemented using the currently available operations, using rounded-to-nearest ties-to-even.
Fichier principal
Vignette du fichier
Emulation-RN0-HalVersion.pdf (243.54 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02137968 , version 1 (23-05-2019)
hal-02137968 , version 2 (15-10-2019)
hal-02137968 , version 3 (18-10-2019)
hal-02137968 , version 4 (13-03-2020)

Identifiants

  • HAL Id : hal-02137968 , version 1

Citer

Sylvie Boldo, Christoph Q. Lauter, Jean-Michel Muller. Emulating round-to-nearest-ties-to-zero "augmented" floating-point operations using round-to-nearest-ties-to-even arithmetic. 2019. ⟨hal-02137968v1⟩
761 Consultations
1326 Téléchargements

Partager

More