Name
Title | ||
|---|---|---|
A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor |
Abstract | ||
|---|---|---|
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest.The approach we present here targets a VLIW integer processor of the ST200 family, and is based on fast and accurate programs for evaluating some particular bivariate polynomials. We start by giving approximation and evaluation error conditions that are sufficient to ensure correct rounding. Then we describe the heuristics used to generate such evaluation programs, as well as those used to automatically validate their accuracy.Finally, we propose, for the binary32 format, a complete C implementation of the resulting division algorithm. With the ST200 compiler and compared to previous implementations, the speed-up observed with our approach is by a factor of almost 1.8. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/ARITH.2009.19 | IEEE Symposium on Computer Arithmetic |
Keywords | Field | DocType |
software implementation,correct rounding,st231 processor,st200 family,evaluation error condition,evaluation program,polynomial evaluation,binary floating-point division,complete c implementation,code generation and validation,vliw integer processor,vliw integer processor.,correct round- ing,st200 compiler,previous implementation,resulting division algorithm,new binary floating-point division,floating point,error correction,data mining,polynomials,low latency,accuracy,application software,code generation,algorithm design and analysis,floating point arithmetic,parallel algorithms,approximation error,vliw | Division algorithm,Algorithm design,Floating point,Very long instruction word,Parallel algorithm,Computer science,Parallel computing,Rounding,Theoretical computer science,Software,Heuristics | Conference |
ISSN | Citations | PageRank |
1063-6889 | 5 | 0.96 |
References | Authors | |
7 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Claude-Pierre Jeannerod | 1 | 224 | 22.05 |
| Herve Knochel | 2 | 5 | 0.96 |
| Christophe Monat | 3 | 17 | 3.47 |
| Guillaume Revy | 4 | 48 | 6.81 |
| Gilles Villard | 5 | 565 | 48.04 |