A. Ahmadi and M. Zwolinski, Symbolic noise analysis approach to computational hardware optimization, Design Automation Conference, pp.391-396, 2008.

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

A. Banciu, E. Casseau, D. Menard, and T. Michel, Stochastic modeling for floating-point to fixed-point conversion, Proc. IEEE International Workshop on Signal Processing Systems, (SIPS), 2011.
URL : https://hal.archives-ouvertes.fr/hal-00746791

P. Banerjee, D. Bagchi, M. Haldar, A. Nayak, V. Kim et al., Automatic conversion of floating point matlab programs into fixed point fpga based hardware design, Field-Programmable Custom Computing Machines, 2003. FCCM 2003. 11th Annual IEEE Symposium on, pp.263-264, 2003.

P. Banerjee, M. Haldar, A. Nayak, V. Kim, V. Saxena et al., Overview of a compiler for synthesizing matlab programs onto fpgas. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol.12, issue.3, pp.312-324, 2004.

C. Barnes, B. N. Tran, and S. Leung, On the Statistics of Fixed-Point Roundoff Error, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.33, issue.3, pp.595-606, 1985.

B. Barrois, K. Parashar, and O. Sentieys, Leveraging Power Spectral Density for Scalable System-Level Accuracy Evaluation, IEEE/ACM Conference on Design Automation and Test in Europe, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01253494

P. Bauer and L. Leclerc, A computer-aided test for the absence of limit cycles in fixedpoint digital filters, IEEE Transactions on, vol.39, issue.11, pp.2400-2410, 1991.

A. Benedetti and P. Perona, Bit-Width Optimization for Configurable DSPs by Multiinterval Analysis, IEEE Asilomar Conf. on Signals, Systems and Computers, 2000.

W. Bennett, Spectra of quantized signals, Bell System Tech. J, vol.27, pp.446-472, 1948.

F. Berens and N. Naser, Algorithm to System-on-Chip Design Flow that Leverages System Studio and SystemC 2.0.1, 2004.

D. Boland and G. Constantinides, Bounding variable values and round-off effects using handelman representations. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.30, issue.11, pp.1691-1704, 2011.

D. Boland and G. Constantinides, A scalable precision analysis framework. Multimedia, IEEE Transactions on, vol.15, issue.2, pp.242-256, 2013.

T. Bose and M. Chen, Overflow oscillations in state-space digital filters, IEEE Trans. Circuits and Systems, vol.38, issue.7, pp.807-810, 1991.

T. Bose and M. Chen, Stability of digital filters implemented with two's complement truncation quantization, IEEE Trans. Signal Process, vol.40, issue.1, pp.24-31, 1992.

H. Butterweck, A. Van-meer, and G. Verkroost, New second-order digital filter sections without limit cycles. Circuits and Systems, IEEE Transactions on, vol.31, issue.2, pp.141-146, 1984.

M. Buttner, Elimination of limit cycles in digital filters with very low increase in the quantization noise. Circuits and Systems, IEEE Transactions on, vol.24, issue.6, pp.300-304, 1977.

G. Caffarena, C. Carreras, J. Lopez, and A. Fernandez, SQNR Estimation of Fixed-Point DSP Algorithms, Int. J. on Advances in Signal Processing, pp.1-11, 2010.

J. Campo, F. Cruz-roldan, and M. Utrilla-manso, Tighter limit cycle bounds for digital filters, Signal Processing Letters, vol.13, issue.3, pp.149-152, 2006.

M. Cantin, Y. Savaria, D. Prodanos, and P. Lavoie, A Metric for Automatic Word-Length Determination of Hardware Datapaths, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.25, issue.10, pp.2228-2231, 2006.

M. Cantin, Y. Savaria, and P. Lavoie, A comparison of automatic word length optimization procedures, IEEE International Symposium on Circuits and Systems, vol.2, 2002.

F. Catthoor, H. De-man, and J. Vandewalle, Simulated-annealing-based optimization of coefficient and data word-lengths in digital filters, International Journal of Circuit Theory and Applications, p.371390, 1988.

M. Chang and S. Hauck, Precis: a usercentric word-length optimization tool. Design Test of Computers, IEEE, vol.22, issue.4, pp.349-361, 2005.

J. Chesneaux, L. Didier, and F. Rico, Fixed CADNA library, Proc. conference on Real Number Conference (RNC), pp.215-221, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01531071

T. Claasen and L. Kristiansson, Necessary and sufficient conditions for the absence of overflow phenomena in a second-order recursive digital filter. Acoustics, Speech, and Signal Processing, IEEE Transactions on, vol.23, issue.6, pp.509-515, 1975.

T. Claasen, W. Mecklenbrauer, and J. Peek, Second-order digital filter with only one magnitude-truncation quantizer and having practically no limit-cycles, Electronics Letters, vol.9, issue.22, pp.531-532, 1973.

T. Claasen, W. Mecklenbrauker, and J. Peek, Effects of quantization and overflow in recursive digital filters. Acoustics, Speech, and Signal Processing, IEEE Transactions on, vol.24, issue.6, pp.517-529, 1976.

J. A. Clarke, G. A. Constantinides, and P. Y. Cheung, Word-length selection for power minimization via nonlinear optimization, ACM Trans. Des. Autom. Electron. Syst, vol.14, issue.3, pp.1-28, 2009.

G. Constantinides, High Level Synthesis and Wordlength Optimization of Digital Signal Processing Systems, 2001.

G. Constantinides, P. Cheung, and W. Luk, Truncation Noise in Fixed-Point SFGs, IEE Electronics Letters, vol.35, issue.23, pp.2012-2014, 1999.

G. Constantinides, P. Cheung, and W. Luk, Roundoff-noise shaping in filter design, Proc. IEEE International Symposium on Circuits and Systems (ISCAS), vol.4, pp.57-60, 2000.

G. Constantinides, P. Cheung, and W. 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.

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.

G. A. Constantinides, P. Y. Cheung, and W. Luk, Wordlength Optimization for Linear Digital Signal Processing, IEEE Transaction on Computer Aided Design of Integrated Circuits and Systems, vol.22, issue.10, pp.1432-1442, 2003.

G. A. Constantinides and G. J. Woeginger, The complexity of multiple wordlength assignment, Applied Mathematics Letters, vol.15, issue.2, pp.137-140, 2002.

M. Coors, H. Keding, O. Luthje, and H. Meyr, Fast Bit-True Simulation, Proc. ACM/IEEE Design Automation Conference (DAC), pp.708-713, 2001.

M. Coors, H. Keding, O. Luthje, and H. Meyr, Integer Code Generation For the TI TMS320C62x, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2001.

L. D. Coster, Bit-True Simulation of Digital Signal Processing Applications, 1999.

L. D. Coster, M. Ade, R. Lauwereins, and J. Peperstraete, Code Generation for Compiled Bit-True Simulation of DSP Applications, Proc. IEEE International Symposium on System Synthesis (ISSS), pp.9-14, 1998.

. Coware, . Coware, and . Spw, , 2010.

M. Daumas and G. Melquiond, Certification of bounds on expressions involving rounded operators, ACM Trans. Math. Softw, vol.37, issue.1, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00127769

F. De-dinechin, C. Q. Lauter, and G. Melquiond, Assisted verification of elementary functions using gappa, Proceedings of the 2006 ACM symposium on Applied computing, SAC '06, pp.1318-1322, 2006.

L. De-figueiredo and J. Stolfi, Affine arithmetic: Concepts and applications, Numerical Algorithms, vol.37, issue.1, pp.147-158, 2004.

G. Deest, T. Yuki, O. Sentieys, and S. Derrien, Toward scalable source level accuracy analysis for floating-point to fixed-point conversion, Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design, ICCAD '14, pp.726-733, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01095207

N. Doi, T. Horiyama, M. Nakanishi, and S. Kimura, Minimization of fractional wordlength on fixed-point conversion for high-level synthesis, Design Automation Conference, pp.27-30, 2004.

P. Ebert, J. Mazo, and M. Taylor, Overflow oscillations in digital filters, Bell System Tech. J, vol.48, pp.2999-3020, 1969.

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming Heterogeneity, the Ptolemy Approach, Proceedings of the IEEE, vol.91, 2003.

K. Erickson and A. Michel, Stability analysis of fixed-point digital filters using computer generated lyapunov functions-part i: Direct form and coupled form filters. Circuits and Systems, IEEE Transactions on, vol.32, issue.2, pp.113-132, 1985.

K. Erickson and A. Michel, Stability analysis of fixed-point digital filters using computer generated lyapunov functions-part ii: Wave digital filters and lattice digital filters. Circuits and Systems, IEEE Transactions on, vol.32, issue.2, pp.132-142, 1985.

L. Esteban, J. Lopez, E. Sedano, S. Hernandez-montero, and M. Sanchez, Quantization analysis of the infrared interferometer of the tj-ii for its optimized fpga-based implementation, IEEE Transactions on, p.page accepted, 2013.

C. Fang, T. Chen, and R. Rutenbar, Lightweight Floating-Point Arithmetic: Case Study of Inverse Discrete Cosine Transform, EURASIP J. on Applied Signal Processing, pp.879-892, 2002.

C. Fang, T. Chen, and R. Rutenbar, Floating-point error analysis based on affine arithmetic, Proc. IEEE Int. Conf. on Acoustics, Speech, and Signal Processing, vol.2, pp.561-564, 2003.

C. Fang, R. Rutenbar, and T. Chen, Fast, accurate static analysis for fixed-point finiteprecision effects in dsp designs, Int. Conf. on Computer-Aided Design, 2003 (ICCAD '03), pp.275-282, 2003.

A. Fettweis, Some principles of designing digital filters imitating classical filter structures. Circuits and Systems, IEEE Transactions on, vol.18, issue.2, pp.314-316, 1971.

A. Fettweis, Wave digital filters: Theory and practice, Proceedings of the IEEE, vol.74, pp.270-327, 1986.

P. Fiore, Efficient Approximate Wordlength Optimization, IEEE Transactions on Computers, vol.57, issue.11, pp.1561-1570, 2008.

A. Gaffar, O. Mencer, and W. Luk, Unifying Bit-Width Optimisation for Fixed-Point and Floating-Point Designs, IEEE Symp. on Field-Programmable Custom Computing Machines, pp.79-88, 2004.

A. Gaffar, O. Mencer, W. Luk, P. Cheung, and N. Shirazi, Floating-point bitwidth analysis via automatic differentiation, Field-Programmable Technology, 2002. (FPT), pp.158-165, 2002.

M. Gevers and G. Li, Parametrizations in control, estimation, and filtering problems : accuracy aspects. Communications and control engineering series, 1993.

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Comput. Surv, vol.23, issue.1, pp.5-48, 1991.

A. Gray and J. Markel, Digital lattice and ladder synthesis, IEEE Trans. Audio Electroacoust, vol.21, pp.491-500, 1973.

T. Hilaire, Low-parametric-sensitivity realizations with relaxed L 2-dynamic-range-scaling constraints. Circuits and Systems II: Express Briefs, IEEE Transactions on, vol.56, issue.7, pp.590-594, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00364489

T. Hilaire and P. Chevrel, 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, issue.1, p.893760, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01146526

T. Hilaire, P. Chevrel, and J. Whidborne, A unifying framework for finite wordlength realizations. Circuits and Systems I: Regular Papers, IEEE Transactions on, vol.54, issue.8, pp.1765-1774, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01317352

T. Hilaire, D. Menard, and O. Sentieys, Bit Accurate Roundoff Noise Analysis of Fixedpoint Linear Controllers, Proc. IEEE International Conference on Computer-Aided Control Systems (CACSD), pp.607-612, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00459266

T. Hinamoto, K. Iwata, and W. Lu, l 2-sensitivity minimization of one-and two-dimensional state-space digital filters subject to l 2-scaling constraints, IEEE Transactions on, vol.54, issue.5, pp.1804-1812, 2006.

T. Hinamoto, H. Ohnishi, and W. Lu, Minimization of l 2-sensitivity for state-space digital filters subject to l 2-dynamic-range scaling constraints. Circuits and Systems II: Express Briefs, IEEE Transactions on, vol.52, issue.10, pp.641-645, 2005.

T. Hinamoto, S. Yokoyama, T. Inoue, W. Zeng, and W. Lu, Analysis and minimization of l 2-sensitivity for linear systems and two-dimensional state-space filters using general controllability and observability gramians. Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on, vol.49, issue.9, pp.1279-1289, 2002.

L. Jackson, Roundoff noise bounds derived from coefficient sensitivities for digital filters, IEEE Transactions on, vol.23, issue.8, pp.481-485, 1976.

L. Jackson, Limit cycles in state-space structures for digital filters, IEEE Transactions on, vol.26, issue.1, pp.67-68, 1979.

L. Jackson, Digital Filters and Signal Processing, 1986.

E. Jury and B. Lee, The absolute stability of systems with many nonlinearities, Automat. Remote Contr, vol.26, pp.943-961, 1965.

J. Kang and W. Sung, Fixed-Point C Compiler for TMS320C50 Digital Signal Processor, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing, 1997.

J. Kauraniemi, Analysis of limit cycles in the direct form delta operator structure by computer-aided test. Acoustics, Speech, and Signal Processing, 1997. ICASSP-97, IEEE International Conference on, vol.3, pp.2177-2180, 1997.

H. Keding, Pain Killers for the Fixed-Point Design Flow, 2010.

H. Keding, M. Willems, M. Coors, and H. Meyr, FRIDGE: A Fixed-Point Design and Simulation Environment, Design, Automation and Test in Europe, pp.429-435, 1998.

S. Kim, K. Kum, and W. Sung, Fixed-point optimization utility for C and C++ based digital signal processing programs, IEEE Transactions on Circuits and Systems II-Analog and Digital Signal Processing, vol.45, issue.11, pp.1455-1464, 1998.

S. Kim and W. Sung, A Floating-point to Fixed-point Assembly program Translator for the TMS 320C25, IEEE Transactions on Circuits and Systems, vol.41, issue.11, pp.730-739, 1994.

A. Kinsman and N. Nicolici, Bit-width allocation for hardware accelerators for scientific computing using sat-modulo theory. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.29, issue.3, pp.405-413, 2010.

A. Kinsman and N. Nicolici, Automated range and precision bit-width allocation for iterative computations. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.30, issue.9, pp.1265-1278, 2011.

A. Kinsman and N. Nicolici, Computational vector-magnitude-based range determination for scientific abstract data types. Computers, IEEE Transactions on, vol.60, issue.11, pp.1652-1663, 2011.

K. Kum, J. Kang, and W. Sung, AUTOSCALER for C: An optimizing floating-point to integer C program converter for fixed-point digital signal processors, IEEE Transactions on Circuits and Systems II-Analog and Digital Signal Processing, vol.47, issue.9, pp.840-848, 2000.

T. Laakso, P. Diniz, I. Hartimo, J. Macedo, and T. C. , Elimination of zero-input and constantinput limit cycles in single-quantizer recursive filter structures. Circuits and Systems II: Analog and Digital Signal Processing, IEEE Transactions on, vol.39, issue.9, pp.638-646, 1992.

D. Lee, A. Gaffar, R. Cheung, W. Mencer, O. Luk et al., AccuracyGuaranteed Bit-Width Optimization, IEEE Transaction on Computer Aided Design of Integrated Circuits and Systems, vol.25, issue.10, 1990.

D. Lee, A. Gaffar, O. Mencer, and W. Luk, Minibit: bit-width optimization via affine arithmetic, Design Automation Conference, pp.837-840, 2005.

D. Lee and J. Villasenor, A bit-width optimization methodology for polynomial-based function evaluation. Computers, IEEE Transactions on, vol.56, issue.4, pp.567-571, 2007.

A. Lepschy, G. Mian, and U. Viaro, Stability analysis of second-order direct-form digital filters with two roundoff quantizers, IEEE Trans. Circuits Syst, vol.33, issue.8, pp.824-826, 1986.

G. Li, M. Gevers, and Y. Sun, Performance analysis of a new structure for digital filter implementation. Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on, vol.47, issue.4, pp.474-482, 2000.

G. Li and Z. Zhao, On the generalized dfiit structure and its state-space realization in digital filter implementation, IEEE Trans. on Circuits and Systems I: Regular Papers, vol.51, issue.4, pp.769-778, 2004.

J. Lopez, Evaluacion de los Efectos de Cuantificacion en las Estructuras de Filtros Digitales Utilizando Tecnicas de Cuantificacion Basadas en Extensiones de Intervalos, 2004.

J. Lopez, G. Caffarena, and C. Carreras, Fast and accurate computation of the l 2-sensitivity in digital filter realizations, 2006.

J. Lopez, G. Caffarena, C. Carreras, and O. Nieto-taladriz, Analysis of limit cycles by means of affine arithmetic computer-aided tests, 12th European Signal Processing Conference EUSIPCO'04, pp.991-994, 2004.

J. Lopez, G. Caffarena, C. Carreras, and O. Nieto-taladriz, Fast and accurate computation of the roundoff noise of linear time-invariant systems, IET Circuits, Devices and Systems, vol.2, issue.4, pp.393-408, 2008.

J. Lopez, C. Carreras, G. Caffarena, and O. Nieto-taladriz, Fast characterization of the noise bounds derived from coefficient and signal quantization, 2003 International Symposium on Circuits and Systems (ISCAS '03, vol.4, 2003.

J. A. Lopez, C. Carreras, and O. Nieto-taladriz, Improved interval-based characterization of fixed-point lti systems with feedback loops. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.26, issue.11, pp.1923-1933, 2007.

. Mathworks, Fixed-Point Blockset User's Guide (ver. 2.0), 2001.

J. Mcclellan, C. Burrus, A. Oppenheim, T. Parks, R. Schafer et al., Computer-Based Exercises for Signal Processing Using Matlab 5. Matlab Curriculum Series, 1998.

D. Menard, D. Novo, R. Rocher, F. Catthoor, and O. Sentieys, Quantization Mode Opportunities in Fixed-Point System Design, Proc. European Signal Processing Conference (EUSIPCO), pp.542-546, 2010.
URL : https://hal.archives-ouvertes.fr/lirmm-02089546

D. Menard, R. Rocher, P. Scalart, and O. Sentieys, SQNR Determination in Non-Linear and Non-Recursive Fixed-Point Systems, 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, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00459231

D. Menard and O. Sentieys, A methodology for evaluating the precision of fixed-point systems, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00482913

D. Menard and O. Sentieys, Automatic Evaluation of the Accuracy of Fixed-point Algorithms, Proc. Design, Automation and Test in Europe (DATE), 2002.
URL : https://hal.archives-ouvertes.fr/inria-00482931

D. Menard, R. Serizel, R. Rocher, and O. Sentieys, Accuracy Constraint Determination in Fixed-Point System Design, EURASIP Journal on Embedded Systems, p.12, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00459254

M. Graphics, Algorithmic C Data Types. Mentor Graphics, 2008.

W. Mills, C. Mullis, and R. Roberts, Digital filter realizations without overflow oscillations. Acoustics, Speech, and Signal Processing, vol.26, pp.334-338, 1978.

S. K. Mitra, Sanjit K. Kumar. ill. ; 24 cm. + 1 computer disk. System requirements for computer disk: IBM pc or compatible, or Macintosh power pc, 1999.

, MATLAB Version 5.2 or higher

S. , A survey of techniques for approximate computing, ACM Comput. Surv, vol.48, issue.4, 2016.

A. Nayak, M. Haldar, A. Choudhary, and P. Banerjee, Precision and error analysis of matlab applications during automated hardware synthesis for fpgas, Design, Automation and Test in Europe, pp.722-728, 2001.

D. Novo, N. Farahpour, U. Ahmad, F. Catthoor, and P. Ienne, Energy efficient mimo processing: A case study of opportunistic run-time approximations, Proceedings of the conference on Design, automation and test in Europe, pp.1-6, 2014.

A. V. Oppenheim and R. W. Schafer, Discrete-Time Signal Processing, 1987.

W. G. Osborne, J. Coutinho, R. C. Cheung, W. Luk, and O. Mencer, Instrumented multistage word-length optimization, ICFPT 2007. International Conference on, pp.89-96, 2007.

Y. Pang, K. Radecka, and Z. Zilic, Optimization of imprecise circuits represented by taylor series and real-valued polynomials. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.29, issue.8, pp.1177-1190, 2010.

K. Parashar, D. Menard, R. Rocher, O. Sentieys, D. Novo et al., Fast Performance Evaluation of Fixed-Point Systems with Un-Smooth Operators, Proc. IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2010.
URL : https://hal.archives-ouvertes.fr/lirmm-02089547

K. Parashar, D. Menard, and O. Sentieys, Accelerated performance evaluation of fixedpoint systems with un-smooth operations. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.33, issue.4, pp.599-612, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01097606

K. Parashar, R. Rocher, D. Menard, and O. Sentieys, Analytical Approach for Analyzing Quantization Noise Effects on Decision Operators, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing, pp.1554-1557, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00534522

K. K. Parhi, VLSI Digital Signal Processing Systems: Design and Implementation, 1999.

S. Parker and P. Girard, Correlated noise due to roundoff in fixed point digital filters. Circuits and Systems, IEEE Transactions on, vol.23, issue.4, pp.204-211, 1976.

K. Premaratne, E. Kulasekere, P. Bauer, and L. Leclerc, An exhaustive search algorithm for checking limit cycle behavior of digital filters, IEEE Transactions on, vol.44, issue.10, pp.2405-2412, 1996.

R. A. Roberts and C. T. Mullis, Addison-Wesley series in electrical engineering, Digital Signal Processing, 1987.

R. Rocher, D. Menard, N. Herve, and O. Sentieys, Fixed-Point Configurable Hardware Components, Article ID 23197, 13 pages, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00455557

R. Rocher, D. Menard, P. Scalart, and O. Sentieys, Analytical accuracy evaluation of FixedPoint Systems, Proc. European Signal Processing Conference (EUSIPCO), 2007.
URL : https://hal.archives-ouvertes.fr/inria-00454534

R. Rocher, D. Menard, P. Scalart, and O. Sentieys, Analytical approach for numerical accuracy estimation of fixed-point systems based on smooth operations. Circuits and Systems I: Regular Papers, IEEE Transactions on, issue.99, pp.1-14, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00741741

R. Rocher and P. Scalart, Noise probability density function in fixed-point systems based on smooth operators, Proc. Conference on Design and Architectures for Signal and Image Processing, pp.1-8, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00741824

O. Sarbishei and K. Radecka, On the fixed-point accuracy analysis and optimization of polynomial specifications. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.32, issue.6, pp.831-844, 2013.

O. Sarbishei, K. Radecka, and Z. Zilic, Analytical optimization of bit-widths in fixed-point lti systems. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.31, issue.3, pp.343-355, 2012.

C. Shi and R. Brodersen, A Perturbation Theory on Statistical Quantization Effects in Fixed-Point DSP with Non-Stationary Inputs, IEEE Int. Conf. on Circuits and Systems, vol.3, pp.373-376, 2004.

C. Shi and R. Brodersen, Floating-point to fixed-point conversion with decision errors due to quantization, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing, 2004.

V. Singh, An extension to jury-lee criterion for the stability analysis of fixed point digital filters designed with two's complement arithmetic, IEEE Trans. Circuits Syst, vol.33, issue.3, p.355, 1986.

A. Sripad and D. L. Snyder, A Necessary and Sufficient Condition for Quantization Error to be Uniform and White, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.25, issue.5, pp.442-448, 1977.

M. Stephenson, J. Babb, and S. Amarasinghe, Bitwidth analysis with application to silicon compilation, SIGPLAN conference on Programming Language Design and Implementation, pp.108-120, 2000.

J. Stolfi and L. D. Figueiredo, Self-validated numerical methods and applications, 21st Brazilian Mathematics Colloquium, 1997.

W. Sung, Optimization of number representations, Handbook of Signal Processing Systems, 2018.

V. Tavsanoglu and L. Thiele, Optimal design of state-space digital filters by simultaneous minimization of sensitivity and roundoff noise. Circuits and Systems, IEEE Transactions on, vol.31, issue.10, pp.884-888, 1984.

L. Thiele, Design of sensitivity and round-off noise optimal state-space discrete systems, Int. J. Circuit Theory Appl, vol.12, pp.39-46, 1984.

L. Thiele, On the sensitivity of linear state-space systems, Circuits and Systems, vol.33, issue.5, pp.502-510, 1986.

K. Uesaka and M. Kawamata, Synthesis of low coefficient sensitivity digital filters using genetic programming, Circuits and Systems, 1999. ISCAS '99. Proceedings of the 1999 IEEE International Symposium on, vol.3, pp.307-310, 1999.

K. Uesaka and M. Kawamata, Heuristic synthesis of low coefficient sensitivity secondorder digital filters using genetic programming. Circuits, Devices and Systems, IEE Proceedings, vol.148, issue.3, pp.121-125, 2001.

K. Uesaka and M. Kawamata, Evolutionary synthesis of digital filter structures using genetic programming. Circuits and Systems II: Analog and Digital Signal Processing, IEEE Transactions on, vol.50, issue.12, pp.977-983, 2003.

P. Vaidyanathan and V. Liu, An improved sufficient condition for absence of limit cycles in digital filters, IEEE Trans. Circuits and Systems, vol.34, issue.3, pp.319-322, 1987.

S. Wadekar and A. Parker, Accuracy sensitive word-length selection for algorithm optimization, Computer Design: VLSI in Computers and Processors, 1998. ICCD '98. Proceedings., International Conference on, pp.54-61, 1998.

B. Widrow, Statistical Analysis of Amplitude Quantized Sampled-Data Systems, Transaction on AIEE, Part. II: Applications and Industry, vol.79, pp.555-568, 1960.

B. Widrow, I. Kollar, and M. Liu, Statistical theory of quantization. Instrumentation and Measurement, IEEE Transactions on, vol.45, issue.2, pp.353-361, 1996.

M. Willems, A Methodology for the Effiient Design of Fixed-Point Systems, 1998.

N. Wong and T. Ng, A generalized direct-form delta operator-based iir filter with minimum noise gain and sensitivity. Circuits and Systems II: Analog and Digital Signal Processing, IEEE Transactions on, vol.48, issue.4, pp.425-431, 2001.

B. Wu, J. Zhu, and F. Najm, An analytical approach for dynamic range estimation, Proc. ACM/IEEE Design Automation Conference (DAC), pp.472-477, 2004.

B. Wu, J. Zhu, and F. Najm, Dynamic range estimation for nonlinear systems, IEEE/ACM International Conference on Computer Aided Design (ICCAD), pp.660-667, 2004.

C. Xiao, Improved l 2-sensitivity for state-space digital system, Signal Processing, vol.45, pp.837-840, 1997.

Z. Zhao and G. Li, Roundoff noise analysis of two efficient digital filter structures. Signal Processing, IEEE Transactions on, vol.54, issue.2, pp.790-795, 2006.