Reliable fixed-point implementation of linear data-flows - Sorbonne Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Reliable fixed-point implementation of linear data-flows

Résumé

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.
Fichier principal
Vignette du fichier
PID4431497.pdf (450.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01347637 , version 1 (21-07-2016)
hal-01347637 , version 2 (07-09-2016)

Identifiants

  • HAL Id : hal-01347637 , version 2

Citer

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⟩
130 Consultations
303 Téléchargements

Partager

Gmail Facebook X LinkedIn More