Verification of fixed-point digital controllers using direct and delta forms realizations

IV Bessa, HI Ismail, LC Cordeiro, JEC Filho - Design Automation for …, 2016 - Springer
The extensive use of fixed-point digital controllers demands a growing effort to prevent
design errors that appear in the discrete-time domain. The present article describes a novel …

Sum-of-product architectures computing just right

F De Dinechin, M Istoan… - 2014 IEEE 25th …, 2014 - ieeexplore.ieee.org
Many digital filters and signal-processing transforms can be expressed as a sum of products
with constants (SPC). This paper addresses the automatic construction of low-precision, but …

Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure

A Volkova, T Hilaire, C Lauter - 2015 49th Asilomar Conference …, 2015 - ieeexplore.ieee.org
In this article, we focus on the Fixed-Point implementation of Linear Time Invariant (LTI)
filters in state-space representation. For that purpose, we give an algorithm to determine the …

Implémentation optimale de filtres linéaires en arithmétique virgule fixe

B Lopez - 2014 - theses.hal.science
De nombreux systèmes embarqués implémentent des applications de traitement du signal,
notamment lors de communications. Certains de ces traitements sont effectués par des …

Fixed-point implementation of lattice wave digital filter: Comparison and error analysis

A Volkova, T Hilaire - 2015 23rd European Signal Processing …, 2015 - ieeexplore.ieee.org
A consistent analysis of the filter design along with its further implementation in fixed-point
arithmetic requires a large amount of work, and this process differs from one filter …

Reliable fixed-point implementation of linear data-flows

T Hilaire, A Volkova, M Ravoson - 2016 IEEE International …, 2016 - ieeexplore.ieee.org
In this article, we propose a complete methodology to implement a signal processing or
control-engineering algorithm described with a linear data-flow into numerical code using …

Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks

MA Najahi - 2014 - theses.hal.science
To be cost effective, embedded systems are shipped with low-end micro-processors. These
processors are dedicated to one or few tasks that are highly demanding on computational …

Towards reliable implementation of digital filters

A Volkova - 2017 - theses.hal.science
In this thesis we develop approaches for improvement of the numerical behavior of digital
filters with focus on the impact of accuracy of the computations. This work is done in the …

Optimal word-length allocation for the fixed-point implementation of linear filters and controllers

H Thibault, H Ouzia, B Lopez - 2019 IEEE 26th Symposium on …, 2019 - ieeexplore.ieee.org
This article presents a word-length optimization problem under accuracy constraints for the
hardware implementation of linear signal processing systems with fixed-point arithmetic. For …

Error analysis methods for the fixed-point implementation of linear systems

T Hilaire, A Volkova - 2017 IEEE international workshop on …, 2017 - ieeexplore.ieee.org
In this paper we propose to perform a complete error analysis of a fixed-point
implementation of any linear system described by data-flow graph. The system is translated …