FiXiF toolbox : validated numerics for sound digital filter implementations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

FiXiF toolbox : validated numerics for sound digital filter implementations

Résumé

Digital filter algorithms are ubiquitous for signal processing systems: from aerospace control to industrial telecommunications. In this work we develop approaches for improvement of the numerical behavior of digital filters with focus on the impact of accuracy of the computations. We exhibit the problems related to the use of finite precision during the whole process of filter implementation. We demonstrate on examples that in order to produce accurate implementations of digital filters, we must also provide accurate and validated design tools. Usually, for implementations of digital filters in embedded systems we seek for the minimum possible precision of computations that will permit to meet the constraints on the output accuracy, speed and surface. Achieving this trade-off is complicated and existing approaches often require some level of fault tolerance [1]. In practice, the compromise between choices of arithmetic parameters and the cost of the system is sought manually; this process requires a significant effort and final implementations are far from optimal. Moreover, providing guarantees for each customized solution separately is time-consuming. In this work, our goal is to provide a numerically validated and automatic tool for accurate linear filter implementations in software/hardware. We present an overview of the FiXiF toolbox 1 [2] for the reliable code generation for linear filters/controllers in Fixed-Point Arithmetic.
Fichier principal
Vignette du fichier
scan2018_AnastasiaVOLKOVA.pdf (83.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02064338 , version 1 (11-03-2019)

Identifiants

  • HAL Id : hal-02064338 , version 1

Citer

Anastasia Volkova. FiXiF toolbox : validated numerics for sound digital filter implementations. 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics., Sep 2018, Tokyo, Japan. ⟨hal-02064338⟩
81 Consultations
53 Téléchargements

Partager

More