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.
Type de document :
Communication dans un congrès
2014 IEEE/ACM International Conference on Computer-Aided Design, Nov 2014, San Jose, United States. pp.726--733
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01095207
Contributeur : Tomofumi Yuki <>
Soumis le : lundi 15 décembre 2014 - 11:47:50
Dernière modification le : jeudi 15 novembre 2018 - 11:57:40
Document(s) archivé(s) le : lundi 16 mars 2015 - 11:11:15

Fichier

ICCAD2014-Accuracy.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

1847

Téléchargements de fichiers

136