Introduction to Interval Computations, 1983. ,
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
Patriot Missile Defense: Software Problem Led to System Failure at Dhahran, Saudi Arabia, 1992. ,
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
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
The fixed cadna library, Real Number and Computers (RNC'03), pp.215-229, 2003. ,
Accelerating Fixed-Point Design for MB-OFDM UWB Systems, CommsDesign, 2005. ,
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
Truncation noise in fixed-point SFGs, Electronics Letters, vol.35, issue.23, pp.2012-2014, 1999. ,
DOI : 10.1049/el:19991375
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
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
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
Affine Arithmetic: Concepts and Applications, Numerical Algorithms, vol.37, issue.1-4, pp.1-13, 2003. ,
DOI : 10.1023/B:NUMA.0000049462.70970.b6
Modem Design, Implementation, and Testing Using NI's LabVIEW, National Instrument Academic Day, 2005. ,
DSPs court the consumer, IEEE Spectrum, vol.36, issue.3, pp.47-53, 1999. ,
DOI : 10.1109/6.750400
The evolution of DSP processors, IEEE Signal Processing Magazine, vol.17, issue.2, pp.43-51, 2000. ,
DOI : 10.1109/79.826411
Efficient Approximate Wordlength Optimization, IEEE Transactions on Computers, vol.57, issue.11, pp.1561-1570, 2008. ,
DOI : 10.1109/TC.2008.87
Adaptive Filter Theory, 1991. ,
Acceldsp synthesis tool floating-point to fixed-point conversion of matlab algorithms targeting fpgas, 2006. ,
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. ,
Flight 501 Failure, 1996. ,
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
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
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
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
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
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
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
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
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
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 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
DSP chips take on many forms, DSP-FPGA.com Magazine, 2006. ,
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
Statistical theory of quantization, IEEE Transactions on Instrumentation and Measurement, vol.45, issue.2, pp.353-361, 1996. ,
DOI : 10.1109/19.492748
Dynamic-Range Estimation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.25, pp.1618-1636, 2006. ,