Improved Interval-Based Characterization of Fixed-Point LTI Systems With Feedback Loops

Authors:
J. A. Lopez;C. Carreras;O. Nieto-Taladriz
Affiliations:
Univ. Polytech. de Madrid, Madrid;-;-
Venue:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year:
2007

Citing 0
Cited 7

Symbolic noise analysis approach to computational hardware optimization

Proceedings of the 45th annual Design Automation Conference
Fast trade-off evaluation for digital signal processing systems during wordlength optimization

Proceedings of the 2009 International Conference on Computer-Aided Design
Bit-width allocation for hardware accelerators for scientific computing using SAT-modulo theory

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Finite precision bit-width allocation using SAT-modulo theory

Proceedings of the Conference on Design, Automation and Test in Europe
SQNR estimation of fixed-point DSP algorithms

EURASIP Journal on Advances in Signal Processing
Sensitivity-based pole and input-output errors of linear filters as indicators of the implementation deterioration in fixed-point context

EURASIP Journal on Advances in Signal Processing - Special issue on quantization of VLSI digital signal processing systems
Synthesis of minimal-error control software

Proceedings of the tenth ACM international conference on Embedded software

Quantified Score

Hi-index	0.03

Visualization

Abstract

Traditional approaches for fixed-point characterization are based on long simulations or additive noise models that do not show the nonlinear behavior of the quantization operations in reasonable time. In this paper, a novel interval-based approach that provides both tighter and faster results than the existing approaches is presented. It is based on a nonlinear adaptation of the quantization operations of affine arithmetic (AA). The results obtained with this method are compared to other published interval-based approaches, and the problem of interval oversizing is discussed in detail. Simulations show that: 1) the propagation techniques are not well suited to characterize the quantized linear systems with feedback loops; 2) the AA provides oversized bounds in this type of systems; and 3) the proposed adaptation does not provide guaranteed bounds as in the traditional interval-based computations, but it provides tighter estimates of the evolution in time of the ranges of the fixed-point signals and better runtime than the existing interval-based characterization techniques.