Skip to Main content Skip to Navigation
Journal articles

Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters

Anastasia Volkova 1, 2 Thibault Hilaire 3 Christoph Lauter 4
1 ARIC - Arithmetic and Computing
LIP - Laboratoire de l'Informatique du Parallélisme, Inria Grenoble - Rhône-Alpes
3 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
Abstract : In this paper we target the Fixed-Point (FxP) implementation of Linear Time-Invariant (LTI) filters evaluated with state-space equations. We assume that wordlengths are fixed and that our goal is to determine binary point positions that guarantee the absence of overflows while maximizing precision. We provide a model for the worst-case error analysis of FxP filters that gives tight bounds on the output error. Then we develop an algorithm for the determination of binary point positions that takes rounding errors and their amplification fully into account. The proposed techniques are rigorous, i.e. based on proofs, and no simulations are ever used. In practice, Floating-Point (FP) errors that occur in the implementation of FxP design routines can lead to overestimation/underestimation of result parameters. Thus, along with FxP analysis of digital filters, we provide FP analysis of our filter design algorithms. In particular, the core measure in our approach, Worst-Case Peak Gain, is defined as an infinite sum and has matrix powers in it. We provide fine-grained FP error analysis of its evaluation and develop multiple precision algorithms that dynamically adapt their internal precision to satisfy an a priori absolute error bound. Our techniques on multiple precision matrix algorithms, such as eigendecomposition, are of independent interest as a contribution to Computer Arithmetic. All algorithms are implemented as C libraries, integrated into an open-source filter code generator and tested on numerical examples.
Complete list of metadata

Cited literature [48 references]  Display  Hide  Download
Contributor : Thibault Hilaire Connect in order to contact the contributor
Submitted on : Wednesday, December 4, 2019 - 4:01:24 PM
Last modification on : Monday, May 16, 2022 - 4:58:02 PM
Long-term archiving on: : Thursday, March 5, 2020 - 9:36:05 PM


Files produced by the author(s)



Anastasia Volkova, Thibault Hilaire, Christoph Lauter. Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2020, 69 (4), pp.489 - 504. ⟨10.1109/TC.2019.2950658⟩. ⟨hal-01918650v2⟩



Record views


Files downloads