Automated design of floating-point logarithm functions on integer processors

Guillaume Revy 1
1 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : Nowadays the automated design of efficient floating-point implementations of correctly rounded elementary functions like cos, sin, log, exp, ... is a real challenge. Indeed, the variety of hardware architectures and floating-point formats makes such implementation process tedious and error-prone. This article focuses on the particular case of floating-point $\log_b(x)$ functions on integer processors. First it proposes a unified range reduction for $\log_b(x)$, that enables to reduce the evaluation of these functions to a single well-chosen polynomial. Second it gives some sufficient conditions on the approximation and evaluation errors to guarantee correct rounding. And third it shows how to automate the implementation process on integer processors, when $b \in \{2, \exp(1), 10\}$. Finally we illustrate how this automated approach enables to speedup the design of efficient implementations of $\log_b(x)$ for standard floating-point formats.
Type de document :
Communication dans un congrès
ARITH 23, Jul 2016, Silicon Valley, Santa Clara, CA, United States. 23th IEEE International Symposium on Computer Arithmetic, <http://arith23.gforge.inria.fr/>
Liste complète des métadonnées


https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276677
Contributeur : Guillaume Revy <>
Soumis le : vendredi 19 février 2016 - 17:21:16
Dernière modification le : vendredi 9 juin 2017 - 10:41:46
Document(s) archivé(s) le : dimanche 13 novembre 2016 - 00:07:47

Fichier

2015-Auto-FpLog.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01276677, version 1

Collections

Citation

Guillaume Revy. Automated design of floating-point logarithm functions on integer processors. ARITH 23, Jul 2016, Silicon Valley, Santa Clara, CA, United States. 23th IEEE International Symposium on Computer Arithmetic, <http://arith23.gforge.inria.fr/>. <lirmm-01276677>

Partager

Métriques

Consultations de
la notice

120

Téléchargements du document

155