D. Novo, N. Farahpour, and U. Ahmad, Energy efficient MIMO processing: A case study of opportunistic run-time approximations, IEEE/ACM Conference on Design, Automation and Test in Europe, pp.1-6, 2014.

P. Lapsley, J. Bier, and A. Shoham, DSP Processor Fundamentals: Architectures and Features, 1996.

R. Bonamy, S. Bilavarn, and D. Chillet, Power Consumption Models for the Use of Dynamic and Partial Reconfiguration. Microprocessors and Microsystems, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00941532

D. Novo, A. Kritikakou, and P. Raghavan, Ultra Low Energy Domain Specific Instruction-set Processor for On-line Surveillance, IEEE 8th Symposium on Application Specific Processors (SASP), pp.30-35, 2010.
URL : https://hal.archives-ouvertes.fr/lirmm-02089553

M. Woh, S. Seo, and S. Mahlke, AnySP: anytime anywhere anyway signal processing, 36th Annual International Symposium on Computer Architecture, pp.128-139, 2009.

W. J. Dally, J. Balfour, and D. Black-shaffer, Efficient Embedded Computing. Computer, vol.41, issue.7, pp.27-32, 2008.

R. Hameed, W. Qadeer, and M. Wachs, Understanding Sources of Inefficiency in GeneralPurpose Chips, 37th Annual International Symposium on Computer Architecture, 2010.

H. Roeven, J. Coninx, and M. Ade, CoolFlux DSP: The embedded ultra low power Cprogrammable DSP core, Proc. Int. Signal Proc. Conf. (GSPx), 2004.

V. Raghunathan, A. Raghunathan, and M. B. Srivastava, High-level synthesis with SIMD units, 7th Asia and South Pacific Design Automation Conference, pp.407-413, 2002.

, TMS320C64x/C64x+ DSP CPU and Instruction Set Reference Guide, 2006.

B. Bougard, D. Sutter, B. Verkest, and D. , A coarse-grained array accelerator for software-defined radio baseband processing, IEEE micro, vol.28, issue.4, pp.41-50, 2008.

K. Van-berkel, F. Heinle, and P. Meuwissen, Vector processing as an enabler for software-defined radio in handheld devices, EURASIP Journal on Applied Signal Processing, vol.16, p.2613, 2005.

D. Menard, D. Chillet, and O. Sentieys, Floating-to-fixed-point conversion for digital signal processors, EURASIP Journal on Applied Signal Processing, vol.14, 2006.

D. Novo, B. Bougard, and A. Lambrechts, Scenario-based fixed-point data format refinement to enable energy-scalable software defined radios, IEEE/ACM Conference on Design, Automation and Test in Europe, pp.722-727, 2008.
URL : https://hal.archives-ouvertes.fr/lirmm-02089059

, Implementing SIMD in Software, 2006.

A. Lambrechts, P. Raghavan, and D. Novo, Enabling WordWidth Aware Energy and Performance Optimizations for Embedded Processors, Workshop on ODES, 2007.

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

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.

M. A. Cantin, Y. Savaria, and P. Lavoie, A Comparison of Automatic Word Length Optimization Procedures, IEEE Int. Symposium on Circuits and Systems, vol.2, pp.612-615, 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, vol.I, pp.371-390, 1988.

W. Sung and K. I. Kum, Word-length determination and scaling software for a signal flow block diagram, IEEE International Conference on Acoustics, Speech, and Signal Processing, pp.457-460, 1994.

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

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

R. Rocher, D. Menard, and P. Scalart, Analytical Approach for Numerical Accuracy Estimation of Fixed-Point Systems Based on Smooth Operations, IEEE Transactions on Circuits and Systems I: Regular Papers, pp.1-14, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00741741

R. Nehmeh, D. Menard, and E. Nogues, Fast Integer Word-length Optimization for Fixed-point Systems, Journal of Signal Processing Systems, pp.1-16, 2015.

R. E. Moore, Interval analysis. Prentice-Hall series in automatic computation, N.J, 1966.

A. Neumaier and . Taylor-forms, Use and Limits. Reliable Computing, vol.9, pp.43-79, 2002.

M. Willems, H. Keding, and T. Grtker, FRIDGE: An Interactive Fixed-Point Code Generation Environment for Hw/Sw-Codesign, Int. Conf. Acoustics, Speed, 1997.

H. Keding, M. Willems, and M. Coors, FRIDGE: A Fixed-Point Design and Simulation Environment, IEEE/ACM Design, Automation and Test in Europe (DATE), pp.429-435, 1998.

O. Knüppel, PROFIL/BIAS-A fast interval library. Computing, vol.53, pp.277-287, 1994.

N. Revol and F. Rouillier, Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library. Reliable Computing, vol.11, pp.275-290, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00100985

H. Brnnimann, G. Melquiond, and S. Pion, The design of the Boost interval arithmetic library, Theoretical Computer Science, vol.351, issue.1, pp.111-118, 2006.

V. Paruthi, N. Mansouri, and R. Vemuri, Automatic Data Path Abstraction for Verification of Large Scale Designs, IEEE International Conference on Computer Design

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

. Madrid, , 2004.

D. U. Lee, A. A. Gaffar, and R. Cheung, Accuracy-Guaranteed Bit-Width Optimization, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.25, issue.10, pp.1990-2000, 2006.

C. F. Fang, R. A. Rutenbar, and T. Chen, Fast, accurate static analysis for fixed-point finiteprecision effects in DSP designs, In: Int. Conf. on Computer-Aided Design, pp.275-282, 2003.

R. Cmar, L. Rijnders, and P. Schaumont, A Methodology and Design Environment for DSP ASIC Fixed Point Refinement, IEEE/ACM conference on Design, Automation and Test in, pp.271-276, 1999.

C. Carreras, J. A. Lopez, and O. Nieto-taladriz, Bit-width selection for data-path implementations, 12th International Symposium on System Synthesis (ISSS), pp.114-119, 1999.

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

J. A. Lopez, C. Carreras, and G. Caffarena, Fast characterization of the noise bounds derived from coefficient and signal quantization, International Symposium on Circuits and Systems (ISCAS), vol.4, pp.309-312, 2003.

J. Comba and J. Stolfi, Affine Arithmetic and Its Applications to Computer Graphics, VI Brazilian Symp. on Comp. Graphics and Image Processing, pp.9-18, 1993.

F. Lhd and J. Stolfi, Computer Arithmetic, and Validated Numerics (SCAN), Affine Arithmetic: Concepts and Applications. 10th GAMM/IMACS International Symposium on Scientific Computing, 2002.

J. Stolfi and F. Lhd, Self-validated numerical methods and applications, Brazilian Mathematics Colloquium, p.21, 1997.

C. F. Fang, R. A. Rutenbar, and M. Puschel, Toward efficient static analysis of finiteprecision effects in DSP applications via affine arithmetic modeling, IEEE/ACM Design Automation Conference (DAC), pp.496-501, 2003.

D. U. Lee, A. A. Gaffar, and R. Cheung, Accuracy-Guaranteed Bit-Width Optimization, IEEE Trans on Computer-Aided Design of Integrated Circuits and Systems, vol.25, issue.10, pp.1990-2000, 2006.

C. F. Fang, T. Chen, and R. A. Rutenbar, Floating-Point Error Analysis Based on Affine Arithmetic, IEEE Int. Conf. on Acoustics, Speech, and Signal Processing, vol.2, pp.561-564, 2003.

Y. Pu and Y. Ha, An automated, efficient and static bit-width optimization methodology towards maximum bit-width-to-error tradeoff with affine arithmetic model, Asia and South Pacific Design Automation Conf. (ASP-DAC), pp.886-891, 2006.

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.

H. Shou, H. Lin, and R. Martin, Modified Affine Arithmetic Is More Accurate than Centered Interval Arithmetic or Affine Arithmetic, 10th IMA International Conference on Mathematics of Surfaces, vol.2768, pp.355-365, 2003.

H. Shou, H. Lin, and R. R. Martin, Modified affine arithmetic in tensor form for trivariate polynomial evaluation and algebraic surface plotting, Journal of Computational and Applied Mathematics, vol.195, issue.1, pp.155-171, 2006.

J. A. Lopez, E. Sedano, and C. Carreras, Interval-based analysis and word-length optimization of non-linear systems with control-flow structures, The 7th International Conference on Computational Methods (ICCM), vol.3, pp.1333-1342, 2016.

L. Esteban, J. A. Lpez, and E. Sedano, Quantization Analysis of the Infrared Interferometer of the TJ-II Stellarator for its Optimized FPGA-Based Implementation, IEEE Transactions on Nuclear Science, vol.60, issue.5, pp.3592-3596, 2013.

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

J. A. Lopez, G. Caffarena, and C. Carreras, Fast and accurate computation of the roundoff noise of linear time-invariant systems. IETCircuits, Devices and Systems, vol.2, pp.393-408, 2008.

X. Wan and G. Karniadakis, An adaptive multi-element generalized polynomial chaos method for stochastic differential equations, Journal of Computational Physics, vol.209, issue.2, pp.617-642, 2005.
DOI : 10.1016/j.jcp.2005.03.023

J. H. Mcclellan, C. S. Burrus, and A. V. Oppenheim, Computer-Based Exercises for Signal Processing Using Matlab 5. Matlab Curriculum Series, 1998.

M. Jeruchim, Techniques for Estimating the Bit Error Rate in the Simulation of Digital Communication Systems, IEEE Journal on Selected Areas in Communications, vol.2, issue.1, pp.153-170, 1984.

P. J. Smith, Quick Simulation: A Review of Importance Sampling Techniques in Communications Systems, IEEE Journal Selected Areas Comm, vol.15, issue.4, pp.597-613, 1997.

C. N. Zeeb and P. J. Burns, A Comparison of Failure Probability Estimates by MonteCarlo Sampling and Latin Hypercube Sampling, 1998.

S. Kim, K. Kum, and W. Sung, Fixed-Point Optimization Utility for C and C++ Based Digital Signal Processing Programs, Workshop on VLSI and Signal Processing, 1995.

M. A. Cantin, Y. Savaria, and D. Prodanos, An Automatic Word Length Determination Method, IEEE Int. Symp. on Circuits and Systems (ISCAS). vol, vol.5, pp.53-56, 2001.
DOI : 10.1109/iscas.2001.921982
URL : http://www.wseas.us/e-library/conferences/crete2004/papers/476-330.pdf

K. D. Russell, C. L. Atwood, and M. B. Sattison, Saphire Technical Reference Manual: IRRAS/SARA Version 4.0. EG&G Idaho Inc, 1992.
DOI : 10.2172/10120495

G. L. Tiejten, A Topical Dictionary of Statistics, 1986.

A. H. Bowker and G. K. Lieberman, Engineering Statistics, 1972.

. Coware, S. Coware, and . Coware, , 2010.

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

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

J. Eker, J. W. Janneck, and E. A. Lee, Taming Heterogeneity, the Ptolemy Approach, Proceedings of the IEEE, vol.91, 2003.
DOI : 10.1109/jproc.2002.805829

M. D. Mckay, W. J. Conover, and R. J. Beckman, A comparison of three methods for selection values of input variables in the analysis of output from a computer code, Technometrics, vol.22, issue.2, pp.239-245, 1979.

M. D. Mckay, J. J. Swain, D. Goldsman, and R. C. Crain, Latin Hipercube Sampling as a Tool in Uncertainty Analysis of Computer Models, pp.557-564, 1992.

K. S. Shanmugan and P. Balaban, A Modified Monte-Carlo Simulation Technique for the Evaluation of Error Rate in Digital Communication Systems, IEEE Trans Commun, vol.28, issue.11, pp.1916-1924, 1980.

A. Bohdanowicz, On Efficient BER Evaluation of Digital Communication Systems via Importance Sampling, 8th IEEE Symposium on Communications and Vehicular Technology

S. Andradottir and D. P. Heyman, On the Choice of Alternative Measures in Importance Sampling with Markov Chains, Oper REs, vol.43, issue.3, pp.509-519, 1995.

J. S. Sadowsky and J. A. Becklew, On Large Deviations Theory and Asymptotically Efficient Monte-Carlo Estimation, IEEE Trans Inform Theory, vol.36, pp.579-588, 1990.

J. S. Sadowsky, On the Optimality and Stability of Exponential Twisting in Monte-Carlo Simulation, IEEE Trans Inform Theory, vol.39, pp.119-128, 1993.

T. Sakai and H. Ogiwara, Importance Sampling for TCM Scheme over Non-gausian Channel, IEICE Trans Fundamentals of Electron Commun and Comput Sci, vol.78, issue.9, pp.1109-1116, 1995.

G. C. Orsak and B. Aazhang, Constrained Solutions in Importance Sampling via Robust Statistics, IEEE Trans Inform Theory, vol.37, pp.307-316, 1991.

J. S. Stadler and S. Roy, Adaptative Importance Sampling, IEEE Journal Selected Areas Comm, vol.11, issue.3, pp.309-316, 1993.

E. J. Gumbel, Statistics of Extremes, 1958.

S. B. Weinstein, Theory and Application of some Classical and Generalized Asymptotic Distributions of Extreme Values, IEEE Trans Inform Theory, vol.19, 1973.

C. L. Harkness and D. P. Lopresti, Interval methods for modeling uncertainty in ¡e1¿RC¡/e1¿ timing analysis. IEEE Transactions onComputer-Aided Design of Integrated Circuits and Systems, vol.11, pp.1388-1401, 1992.

A. Singhee, C. R. Fang, and J. D. Ma, Probabilistic interval-valued computation: toward a practical surrogate for statistics inside CAD tools, 43rd ACM/IEEE Design Automation Conference, pp.167-172, 2006.

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

E. Sedano, Automated wordlength optimization framework for multi-source statistical interval-based analysis of nonlinear systems with control-flow structures

. Madrid, , 2016.

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

O. Sarbishei, K. Radecka, and Z. Zilic, Analytical Optimization of Bit-Widths in Fixed-Point LTI Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.31, issue.3, pp.343-355, 2012.

D. Boland and G. A. Constantinides, A Scalable Precision Analysis Framework, IEEE Transactions on Multimedia, vol.15, issue.2, pp.242-256, 2013.

S. A. Wadekar and A. C. Parker, Accuracy Sensitive Word-Length Selection for Algorithm Optimization, Int. Conf. on Computer Design (ICCD), pp.54-61, 1998.

G. Caffarena, J. A. Lpez, and G. Leyva, Architectural Synthesis of Fixed-Point DSP Datapaths Using FPGAs, Int J of Reconfigurable Computing, pp.1-14, 2009.

N. Herve, D. Menard, and O. Sentieys, Data Wordlength Optimization for FPGA Synthesis, Proc. IEEE International Workshop on Signal Processing Systems, (SIPS). Athens, pp.623-628, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00482912

J. Weijers, V. Derudder, and S. Janssens, From MIMO-OFDM Algorithms to a RealTime Wireless Prototype: A Systematic Matlab-to-Hardware Design Flow, EURASIP Journal on Applied Signal Processing, pp.1-12, 2006.

K. Parashar, R. Rocher, and D. Menard, A Hierarchical Methodology for Word-Length Optimization of Signal Processing Systems, 23rd International Conference on VLSI Design (VLSID), pp.318-323, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00432590

K. Han and B. L. Evans, Optimum Wordlength Search Using Sensivity Information, EURASIP Journal of Applied Signal Processing, pp.1-14, 2006.

G. Caffarena, G. A. Constantinides, and P. Cheung, Optimal Combined Word-Length Allocation and Architectural Synthesis of Digital Signal Processing Circuits, IEEE Transactions on Circuits and Systems II, vol.53, issue.5, pp.339-343, 2006.

P. D. Fiore and L. Lee, Closed-form and real-time wordlength adaptation, IEEE International Conference on Acoustics, Speech, and Signal Processing, vol.4, pp.1897-1900, 1999.

N. Doi, T. Horiyama, and M. Nakanishi, Minimization of fractional wordlength on fixedpoint conversion for high-level synthesis, Asia and South Pacific Design Automation Conference, pp.80-85, 2004.

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

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

P. Fiore, A Custom Computing Framework for Orientation and Photogrammetry, 2000.

G. Caffarena, Combined Word-Length Allocation and High-Level Synthesis of Digital Signal Processing Circuits, 2008.

H. Choi and W. P. Burleson, Search-based Wordlength Optimization for VLSI/DSP Synthesis, IEEE Workshop VLSI Signal Processing, pp.198-207, 1994.

W. Sung and K. I. Kum, Simulation-Based Word-Length Optimization Method for FixedPoint Digital Signal Processing Systems, IEEE Transactions on Signal Processing, vol.43, issue.12, pp.3087-3090, 1995.

K. Han, I. Eo, and K. Kim, Numerical word-length optimization for CDMA demodulator, IEEE International Symposium on Circuits and Systems (ISCAS), vol.4, pp.290-293, 2001.

K. Han, B. L. Evans, and E. E. Swartzlander, Data Wordlength Reduction for Low-Power Signal Processing Software, IEEE Workshop on Signal Processing Systems, pp.343-348, 2004.

F. Fang, T. Chen, and R. A. Rutenbar, Floating-Point Bit-Width Optimization for Low-Power Signal Processing Applications, IEEE Int. Conf. Acoustics, Speech, and Signal Processing, vol.3, pp.3208-3211, 2002.

H. N. Nguyen, D. Menard, and O. Sentieys, Novel Algorithms for Word-length Optimization, 19th European Signal Processing Conference (EUSIPCO-2011), 2011.

V. Tavsanoglu and L. Thiele, Optimal design of state-space digital filters by simultaneous minimization of sensitivity and roundoff noise, IEEE Transactions on Circuits and Systems, 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.

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

S. Kim, K. I. 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, pp.1455-1464, 1998.

, Mentor Graphics. Algorithmic C Data Types, 2008.

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

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

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

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

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

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

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

G. Caffarena, C. Carreras, and J. A. Lpez, SQNR Estimation of Fixed-Point DSP Algorithms, Int J on Advances in Signal Processing, vol.2010, pp.1-11, 2010.
DOI : 10.1155/2010/171027
URL : https://asp-eurasipjournals.springeropen.com/track/pdf/10.1155/2010/171027

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 (DATE), p.6, 2016.
DOI : 10.3850/9783981537079_0204
URL : https://hal.archives-ouvertes.fr/hal-01253494

G. Constantinides, P. Cheung, and W. Luk, Roundoff-noise shaping in filter design, IEEE International Symposium on Circuits and Systems (ISCAS), vol.4, pp.57-60, 2000.
DOI : 10.1109/iscas.2000.858687
URL : http://cas.ee.ic.ac.uk/people/gac1/pubs/GeorgeISCAS00.pdf

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

D. Menard, D. Novo, and R. Rocher, Quantization Mode Opportunities in FixedPoint System Design, 18th European Signal Processing Conference (EUSIPCO2010), pp.542-546, 2010.
URL : https://hal.archives-ouvertes.fr/lirmm-02089546

J. C. Naud, D. Menard, and G. Caffarena, A Discrete Model for Correlation Between Quantization Noises, IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, 2012.
DOI : 10.1109/tcsii.2012.2222838
URL : https://hal.archives-ouvertes.fr/hal-00743413

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

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

D. Menard, R. Rocher, and P. Scalart, 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

K. Parashar, D. Menard, and O. Sentieys, Accelerated Performance Evaluation of FixedPoint Systems With Un-Smooth Operations, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.33, issue.4, pp.599-612, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01097606