Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sardana Approach

Arnault Ioualalen 1, 2 Matthieu Martel 2, 1
1 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : Sardana is a tool which optimizes the arithmetic expressions present in source codes. The optimization is done by synthesizing automatically new mathematically equal expressions, given ranges of values for the variables. In previous work, Sardana has been used to optimize the numerical accuracy of floating-point expressions, by minimizing the worst roundoff error on the result of the evaluation. In this article, we show how our tool can be used to synthesize arithmetic expressions optimized for the fixedpoint arithmetic. In this context, Sardana minimizes the number of bits required to represent without overflow the integer parts of the fixed-point numbers possibly occurring at any stage of the evaluation of an expression. We present experimental results showing how our tool optimizes the implementation of digital filters commonly used in image processing.
Type de document :
Communication dans un congrès
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. IEEE, pp.1-8, 2012, 〈http://www.ecsi.org/dasip2012〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00698621
Contributeur : Matthieu Martel <>
Soumis le : lundi 21 mai 2012 - 09:38:10
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 08:03:09

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00698621, version 1

Collections

Citation

Arnault Ioualalen, Matthieu Martel. Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sardana Approach. DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. IEEE, pp.1-8, 2012, 〈http://www.ecsi.org/dasip2012〉. 〈hal-00698621〉

Partager

Métriques

Consultations de la notice

161

Téléchargements de fichiers

93