G. Alefeld and J. Herzberger, Introduction to Interval Computations, 1983.

P. Belanovic and M. Rupp, Automated Floating-Point to Fixed-Point Conversion with the Fixify Environment, 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), pp.172-178, 2005.
DOI : 10.1109/RSP.2005.15

M. Blair, S. Obenski, and P. Bridickas, Patriot Missile Defense: Software Problem Led to System Failure at Dhahran, Saudi Arabia, 1992.

G. Caffarena, J. A. Lopez, C. Carreras, and A. Fernandez, SQNR Estimation of Fixed-Point DSP Algorithms, EURASIP Journal on Advances in Signal Processing, vol.2010, issue.1, 2010.
DOI : 10.1109/TCSI.2004.823652

C. Caraiscos and B. Liu, A roundoff error analysis of the LMS adaptive algorithm, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.32, issue.1, pp.34-41, 1984.
DOI : 10.1109/TASSP.1984.1164286

J. M. Chesneaux, L. S. Didier, and F. Rico, The fixed cadna library, Real Number and Computers (RNC'03), pp.215-229, 2003.

M. Clark, M. Mulligan, D. Jackson, and D. Linebarger, Accelerating Fixed-Point Design for MB-OFDM UWB Systems, CommsDesign, 2005.

G. Constantinides, Perturbation analysis for word-length optimization, 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2003. FCCM 2003., pp.81-90, 2003.
DOI : 10.1109/FPGA.2003.1227244

G. Constantinides, P. Cheung, and W. Luk, Truncation noise in fixed-point SFGs, Electronics Letters, vol.35, issue.23, pp.2012-2014, 1999.
DOI : 10.1049/el:19991375

G. A. Constantinides, Word-length optimization for differentiable nonlinear systems, ACM Transactions on Design Automation of Electronic Systems, vol.11, issue.1, pp.26-43, 2006.
DOI : 10.1145/1124713.1124716

G. A. Constantinides, Y. K. Peter, W. Cheung, and . Luk, Wordlength optimization for linear digital signal processing, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.22, issue.10, pp.1432-1442, 2003.
DOI : 10.1109/TCAD.2003.818119
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.4543

M. Coors, H. Keding, O. Luthje, and H. Meyr, Integer code generation for the TI TMS320C62X, 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.01CH37221), pp.1133-1136, 2001.
DOI : 10.1109/ICASSP.2001.941121

L. H. De-figueiredo and J. Stolfi, Affine Arithmetic: Concepts and Applications, Numerical Algorithms, vol.37, issue.1-4, pp.1-13, 2003.
DOI : 10.1023/B:NUMA.0000049462.70970.b6

B. Evans, Modem Design, Implementation, and Testing Using NI's LabVIEW, National Instrument Academic Day, 2005.

J. Eyre and J. Bier, DSPs court the consumer, IEEE Spectrum, vol.36, issue.3, pp.47-53, 1999.
DOI : 10.1109/6.750400

J. Eyre and J. Bier, The evolution of DSP processors, IEEE Signal Processing Magazine, vol.17, issue.2, pp.43-51, 2000.
DOI : 10.1109/79.826411

P. D. Fiore, Efficient Approximate Wordlength Optimization, IEEE Transactions on Computers, vol.57, issue.11, pp.1561-1570, 2008.
DOI : 10.1109/TC.2008.87

S. Haykin, Adaptive Filter Theory, 1991.

T. Hill, Acceldsp synthesis tool floating-point to fixed-point conversion of matlab algorithms targeting fpgas, 2006.

S. Kim and W. Sung, Fixed-Point Error Analysis and Word Length Optimization of 8x8 IDCT Architectures, IEEE Transactions on Circuits and Systems for Video Technology, pp.935-940, 1998.

J. L. Lions, L. Lubeck, J. L. Fauquembergue, G. Kahn, W. Kubbat et al., Flight 501 Failure, 1996.

J. A. Lopez, G. Caffarena, C. Carreras, and O. Nieto-taladriz, Fast and accurate computation of the round-off noise of linear time-invariant systems, IET Circuits, Devices & Systems, vol.2, issue.4, pp.393-408, 2008.
DOI : 10.1049/iet-cds:20070198

J. A. Lopez, C. Carreras, and O. Nieto-taladriz, Improved Interval-Based Characterization of Fixed-Point LTI Systems With Feedback Loops, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.26, issue.11, pp.1923-1933, 2007.
DOI : 10.1109/TCAD.2007.896306

D. Menard, R. Rocher, P. Scalart, and O. Sentieys, SQNR determination in non-linear and non-recursive fixed-point systems, XII European Signal Processing Conference, pp.1349-1352, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00482941

D. Menard, R. Rocher, and O. Sentieys, Analytical Fixed-Point Accuracy Evaluation in Linear Time-Invariant Systems, IEEE Transactions on Circuits and Systems I: Regular Papers, vol.55, issue.10, pp.553197-3208, 2008.
DOI : 10.1109/TCSI.2008.923279
URL : https://hal.archives-ouvertes.fr/inria-00459231

D. Menard, R. Rocher, O. Sentieys, and O. Serizel, Accuracy Constraint Determination in Fixed-Point System Design, EURASIP Journal on Embedded Systems, vol.67, issue.5, 2008.
DOI : 10.1109/93.388209
URL : https://hal.archives-ouvertes.fr/inria-00459254

D. Menard and O. Sentieys, Automatic evaluation of the accuracy of fixed-point algorithms, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition, pp.529-535, 2002.
DOI : 10.1109/DATE.2002.998351
URL : https://hal.archives-ouvertes.fr/inria-00482931

D. Menard, D. Novo, R. Rocher, F. Catthoor, and O. Sentieys, Quantization Mode Opportunities in Fixed-Point System Design, 18th European Signal Processing Conference, pp.542-546, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00534526

K. Ozeki and T. Umeda, An adaptive filtering algorithm using an orthogonal projection to an affine subspace and its properties, Electronics and Communications in Japan (Part I: Communications), vol.67, issue.5, pp.19-27, 1984.
DOI : 10.1002/ecja.4400670503

S. Roy and P. Banerjee, An Algorithm for Trading Off Quantization Error with Hardware Resources for MATLAB-Based FPGA Design, IEEE Transactions on Computers, vol.54, issue.7, pp.886-896, 2005.
DOI : 10.1109/TC.2005.106

C. Shi and R. W. Bodersen, A perturbation theory on statistical quantization effects in fixed-point DSP with non-stationary inputs, IEEE International Symposium on Circuits and Systems (ISCAS'04), pp.373-376, 2004.

A. Sripad and D. L. Snyder, A necessary and sufficient condition for quantization errors to be uniform and white, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.25, issue.5, pp.442-448, 1977.
DOI : 10.1109/TASSP.1977.1162977

W. Strauss, DSP chips take on many forms, DSP-FPGA.com Magazine, 2006.

S. Wadekar and A. Parker, Accuracy sensitive word-length selection for algorithm optimization, Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273), pp.54-61, 1998.
DOI : 10.1109/ICCD.1998.727023

B. Widrow, I. Kollár, and M. Liu, Statistical theory of quantization, IEEE Transactions on Instrumentation and Measurement, vol.45, issue.2, pp.353-361, 1996.
DOI : 10.1109/19.492748

B. Wu, J. Zhu, and F. N. Najm, Dynamic-Range Estimation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.25, pp.1618-1636, 2006.