Skip to Main content Skip to Navigation
New interface
Conference papers

Toward Scalable Source Level Accuracy Analysis for Floating-point to Fixed-point Conversion

Abstract : In embedded systems, many numerical algorithms are implemented with fixed-point arithmetic to meet area cost and power constraints. Fixed-point encoding decisions can significantly affect cost and performance. To evaluate their impact on accuracy, designers resort to simulations. Their high running-time prevents thorough exploration of the design-space. To address this issue, analytical modeling techniques have been proposed, but their applicability is limited by scalability issues. In this paper, we extend these techniques to a larger class of programs. We use polyhedral methods to extract a more compact, graph-based representation of the program. We validate our approach with a several image and signal processing algorithms.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Tomofumi Yuki Connect in order to contact the contributor
Submitted on : Monday, December 15, 2014 - 11:47:50 AM
Last modification on : Thursday, January 20, 2022 - 4:20:01 PM
Long-term archiving on: : Monday, March 16, 2015 - 11:11:15 AM


Files produced by the author(s)


  • HAL Id : hal-01095207, version 1


Gaël Deest, Tomofumi Yuki, Olivier Sentieys, Steven Derrien. Toward Scalable Source Level Accuracy Analysis for Floating-point to Fixed-point Conversion. 2014 IEEE/ACM International Conference on Computer-Aided Design, Nov 2014, San Jose, United States. pp.726--733. ⟨hal-01095207⟩



Record views


Files downloads