Skip to Main content Skip to Navigation
Conference papers

FiXiF toolbox : validated numerics for sound digital filter implementations

Abstract : 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.
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download
Contributor : Anastasia Volkova Connect in order to contact the contributor
Submitted on : Monday, March 11, 2019 - 6:21:10 PM
Last modification on : Tuesday, January 4, 2022 - 3:50:37 AM
Long-term archiving on: : Wednesday, June 12, 2019 - 6:29:01 PM


Files produced by the author(s)


  • HAL Id : hal-02064338, version 1


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⟩



Record views


Files downloads