Reliable fixed-point implementation of linear data-flows

Abstract : In this article, we propose a complete methodology to implement a signal processing or control algorithm described with a linear data-flow into numerical code using fixed-point arithmetic. Our approach is based on a reliable determination of the Worst-Case Peak gain of a filter as well as on rigorous error analysis of roundoff error propagation. It guarantees that no overflow will occur and that the output error due to the finite precision implementation is less than a given bound. Without loss of generality, we consider the linear data-flows given in the form of Simulink block diagram. It is first transposed into an internal matrix-based representation and then the reliable evaluation of the magnitudes of each internal variable is performed. Our approach allows to determine the minimum word-length required to achieve a given accuracy. Finally, the methodology is illustrated with numerical examples.
Type de document :
Communication dans un congrès
IEEE International Workshop on Signal Processing Systems (SiPS), Oct 2016, Dallas, United States
Liste complète des métadonnées

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

http://hal.upmc.fr/hal-01347637
Contributeur : Anastasia Volkova <>
Soumis le : mercredi 7 septembre 2016 - 13:37:08
Dernière modification le : jeudi 20 juillet 2017 - 09:30:17

Fichier

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

Identifiants

  • HAL Id : hal-01347637, version 2

Collections

Citation

Thibault Hilaire, Anastasia Volkova, Maminionja Ravoson. Reliable fixed-point implementation of linear data-flows. IEEE International Workshop on Signal Processing Systems (SiPS), Oct 2016, Dallas, United States. 〈hal-01347637v2〉

Partager

Métriques

Consultations de la notice

118

Téléchargements de fichiers

87