 |
 |
 |
 |
Conference papers
How to Square Floats Accurately and Efficiently on the ST231 Integer Processor
Abstract : We consider the problem of computing IEEE floating-point squares by means of integer arithmetic. We show how to exploit the specific properties of squaring in order to design and implement algorithms that have much lower latency than those for general multiplication, while still guaranteeing correct rounding. Our algorithms are parameterized by the floating-point format, aim at high instruction-level parallelism (ILP) exposure, and cover all rounding modes. We show further that their C implementation for the binary32 format yields efficient codes for targets like the ST231 VLIW integer processor from ST Microelectronics, with a latency at least 1.75x smaller than that of general multiplication in the same context.
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00644147
Contributor : Claude-Pierre Jeannerod Connect in order to contact the contributor
Submitted on : Wednesday, November 23, 2011 - 4:41:51 PM
Last modification on : Thursday, January 20, 2022 - 4:18:56 PM
Contributor : Claude-Pierre Jeannerod Connect in order to contact the contributor
Submitted on : Wednesday, November 23, 2011 - 4:41:51 PM
Last modification on : Thursday, January 20, 2022 - 4:18:56 PM
Links full text
