Automated design of floating-point logarithm functions on integer processors - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Automated design of floating-point logarithm functions on integer processors

(1)
1

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.
Fichier principal
Vignette du fichier
2015-Auto-FpLog.pdf (310.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

lirmm-01276677 , version 1 (19-02-2016)

Identifiers

Cite

Guillaume Revy. Automated design of floating-point logarithm functions on integer processors. 23rd IEEE Symposium on Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.172-180, ⟨10.1109/ARITH.2016.28⟩. ⟨lirmm-01276677⟩
236 View
672 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More