Skip to Main content Skip to Navigation
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 metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01095207
Contributor : Tomofumi Yuki <>
Submitted on : Monday, December 15, 2014 - 11:47:50 AM
Last modification on : Friday, July 10, 2020 - 4:26:21 PM
Long-term archiving on: : Monday, March 16, 2015 - 11:11:15 AM

File

ICCAD2014-Accuracy.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01095207, version 1

Citation

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⟩

Share

Metrics

Record views

2484

Files downloads

311