Symbolic noise analysis approach to computational hardware optimization, Design Automation Conference, pp.391-396, 2008. ,
Introduction to Interval Computations, 1983. ,
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
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. ,
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. ,
On the Statistics of Fixed-Point Roundoff Error, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.33, issue.3, pp.595-606, 1985. ,
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
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. ,
Bit-Width Optimization for Configurable DSPs by Multiinterval Analysis, IEEE Asilomar Conf. on Signals, Systems and Computers, 2000. ,
Spectra of quantized signals, Bell System Tech. J, vol.27, pp.446-472, 1948. ,
Algorithm to System-on-Chip Design Flow that Leverages System Studio and SystemC 2.0.1, 2004. ,
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. ,
A scalable precision analysis framework. Multimedia, IEEE Transactions on, vol.15, issue.2, pp.242-256, 2013. ,
Overflow oscillations in state-space digital filters, IEEE Trans. Circuits and Systems, vol.38, issue.7, pp.807-810, 1991. ,
Stability of digital filters implemented with two's complement truncation quantization, IEEE Trans. Signal Process, vol.40, issue.1, pp.24-31, 1992. ,
New second-order digital filter sections without limit cycles. Circuits and Systems, IEEE Transactions on, vol.31, issue.2, pp.141-146, 1984. ,
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. ,
SQNR Estimation of Fixed-Point DSP Algorithms, Int. J. on Advances in Signal Processing, pp.1-11, 2010. ,
Tighter limit cycle bounds for digital filters, Signal Processing Letters, vol.13, issue.3, pp.149-152, 2006. ,
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. ,
A comparison of automatic word length optimization procedures, IEEE International Symposium on Circuits and Systems, vol.2, 2002. ,
Simulated-annealing-based optimization of coefficient and data word-lengths in digital filters, International Journal of Circuit Theory and Applications, p.371390, 1988. ,
Precis: a usercentric word-length optimization tool. Design Test of Computers, IEEE, vol.22, issue.4, pp.349-361, 2005. ,
Fixed CADNA library, Proc. conference on Real Number Conference (RNC), pp.215-221, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-01531071
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. ,
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. ,
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. ,
Word-length selection for power minimization via nonlinear optimization, ACM Trans. Des. Autom. Electron. Syst, vol.14, issue.3, pp.1-28, 2009. ,
High Level Synthesis and Wordlength Optimization of Digital Signal Processing Systems, 2001. ,
Truncation Noise in Fixed-Point SFGs, IEE Electronics Letters, vol.35, issue.23, pp.2012-2014, 1999. ,
Roundoff-noise shaping in filter design, Proc. IEEE International Symposium on Circuits and Systems (ISCAS), vol.4, pp.57-60, 2000. ,
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. ,
Word-length optimization for differentiable nonlinear systems, ACM Transactions on Design Automation of Electronic Systems, vol.11, issue.1, pp.26-43, 2006. ,
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. ,
The complexity of multiple wordlength assignment, Applied Mathematics Letters, vol.15, issue.2, pp.137-140, 2002. ,
Fast Bit-True Simulation, Proc. ACM/IEEE Design Automation Conference (DAC), pp.708-713, 2001. ,
Integer Code Generation For the TI TMS320C62x, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2001. ,
Bit-True Simulation of Digital Signal Processing Applications, 1999. ,
Code Generation for Compiled Bit-True Simulation of DSP Applications, Proc. IEEE International Symposium on System Synthesis (ISSS), pp.9-14, 1998. ,
, , 2010.
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
Assisted verification of elementary functions using gappa, Proceedings of the 2006 ACM symposium on Applied computing, SAC '06, pp.1318-1322, 2006. ,
Affine arithmetic: Concepts and applications, Numerical Algorithms, vol.37, issue.1, pp.147-158, 2004. ,
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
Minimization of fractional wordlength on fixed-point conversion for high-level synthesis, Design Automation Conference, pp.27-30, 2004. ,
Overflow oscillations in digital filters, Bell System Tech. J, vol.48, pp.2999-3020, 1969. ,
Taming Heterogeneity, the Ptolemy Approach, Proceedings of the IEEE, vol.91, 2003. ,
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. ,
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. ,
Quantization analysis of the infrared interferometer of the tj-ii for its optimized fpga-based implementation, IEEE Transactions on, p.page accepted, 2013. ,
Lightweight Floating-Point Arithmetic: Case Study of Inverse Discrete Cosine Transform, EURASIP J. on Applied Signal Processing, pp.879-892, 2002. ,
Floating-point error analysis based on affine arithmetic, Proc. IEEE Int. Conf. on Acoustics, Speech, and Signal Processing, vol.2, pp.561-564, 2003. ,
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. ,
Some principles of designing digital filters imitating classical filter structures. Circuits and Systems, IEEE Transactions on, vol.18, issue.2, pp.314-316, 1971. ,
Wave digital filters: Theory and practice, Proceedings of the IEEE, vol.74, pp.270-327, 1986. ,
Efficient Approximate Wordlength Optimization, IEEE Transactions on Computers, vol.57, issue.11, pp.1561-1570, 2008. ,
Unifying Bit-Width Optimisation for Fixed-Point and Floating-Point Designs, IEEE Symp. on Field-Programmable Custom Computing Machines, pp.79-88, 2004. ,
Floating-point bitwidth analysis via automatic differentiation, Field-Programmable Technology, 2002. (FPT), pp.158-165, 2002. ,
Parametrizations in control, estimation, and filtering problems : accuracy aspects. Communications and control engineering series, 1993. ,
What every computer scientist should know about floating-point arithmetic, ACM Comput. Surv, vol.23, issue.1, pp.5-48, 1991. ,
Digital lattice and ladder synthesis, IEEE Trans. Audio Electroacoust, vol.21, pp.491-500, 1973. ,
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
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
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
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
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. ,
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. ,
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. ,
Roundoff noise bounds derived from coefficient sensitivities for digital filters, IEEE Transactions on, vol.23, issue.8, pp.481-485, 1976. ,
Limit cycles in state-space structures for digital filters, IEEE Transactions on, vol.26, issue.1, pp.67-68, 1979. ,
Digital Filters and Signal Processing, 1986. ,
The absolute stability of systems with many nonlinearities, Automat. Remote Contr, vol.26, pp.943-961, 1965. ,
Fixed-Point C Compiler for TMS320C50 Digital Signal Processor, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing, 1997. ,
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. ,
Pain Killers for the Fixed-Point Design Flow, 2010. ,
FRIDGE: A Fixed-Point Design and Simulation Environment, Design, Automation and Test in Europe, pp.429-435, 1998. ,
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. ,
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. ,
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. ,
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. ,
Computational vector-magnitude-based range determination for scientific abstract data types. Computers, IEEE Transactions on, vol.60, issue.11, pp.1652-1663, 2011. ,
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. ,
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. ,
AccuracyGuaranteed Bit-Width Optimization, IEEE Transaction on Computer Aided Design of Integrated Circuits and Systems, vol.25, issue.10, 1990. ,
Minibit: bit-width optimization via affine arithmetic, Design Automation Conference, pp.837-840, 2005. ,
A bit-width optimization methodology for polynomial-based function evaluation. Computers, IEEE Transactions on, vol.56, issue.4, pp.567-571, 2007. ,
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. ,
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. ,
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. ,
Evaluacion de los Efectos de Cuantificacion en las Estructuras de Filtros Digitales Utilizando Tecnicas de Cuantificacion Basadas en Extensiones de Intervalos, 2004. ,
Fast and accurate computation of the l 2-sensitivity in digital filter realizations, 2006. ,
Analysis of limit cycles by means of affine arithmetic computer-aided tests, 12th European Signal Processing Conference EUSIPCO'04, pp.991-994, 2004. ,
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. ,
Fast characterization of the noise bounds derived from coefficient and signal quantization, 2003 International Symposium on Circuits and Systems (ISCAS '03, vol.4, 2003. ,
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. ,
Fixed-Point Blockset User's Guide (ver. 2.0), 2001. ,
Computer-Based Exercises for Signal Processing Using Matlab 5. Matlab Curriculum Series, 1998. ,
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
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
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
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
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
Accuracy Constraint Determination in Fixed-Point System Design, EURASIP Journal on Embedded Systems, p.12, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00459254
Algorithmic C Data Types. Mentor Graphics, 2008. ,
, Digital filter realizations without overflow oscillations. Acoustics, Speech, and Signal Processing, vol.26, pp.334-338, 1978.
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
A survey of techniques for approximate computing, ACM Comput. Surv, vol.48, issue.4, 2016. ,
Precision and error analysis of matlab applications during automated hardware synthesis for fpgas, Design, Automation and Test in Europe, pp.722-728, 2001. ,
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. ,
Discrete-Time Signal Processing, 1987. ,
Instrumented multistage word-length optimization, ICFPT 2007. International Conference on, pp.89-96, 2007. ,
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. ,
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
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
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
VLSI Digital Signal Processing Systems: Design and Implementation, 1999. ,
Correlated noise due to roundoff in fixed point digital filters. Circuits and Systems, IEEE Transactions on, vol.23, issue.4, pp.204-211, 1976. ,
An exhaustive search algorithm for checking limit cycle behavior of digital filters, IEEE Transactions on, vol.44, issue.10, pp.2405-2412, 1996. ,
Addison-Wesley series in electrical engineering, Digital Signal Processing, 1987. ,
Fixed-Point Configurable Hardware Components, Article ID 23197, 13 pages, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00455557
Analytical accuracy evaluation of FixedPoint Systems, Proc. European Signal Processing Conference (EUSIPCO), 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00454534
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
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
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. ,
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. ,
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. ,
Floating-point to fixed-point conversion with decision errors due to quantization, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing, 2004. ,
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 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. ,
Bitwidth analysis with application to silicon compilation, SIGPLAN conference on Programming Language Design and Implementation, pp.108-120, 2000. ,
Self-validated numerical methods and applications, 21st Brazilian Mathematics Colloquium, 1997. ,
Optimization of number representations, Handbook of Signal Processing Systems, 2018. ,
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. ,
Design of sensitivity and round-off noise optimal state-space discrete systems, Int. J. Circuit Theory Appl, vol.12, pp.39-46, 1984. ,
On the sensitivity of linear state-space systems, Circuits and Systems, vol.33, issue.5, pp.502-510, 1986. ,
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. ,
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. ,
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. ,
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. ,
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. ,
Statistical Analysis of Amplitude Quantized Sampled-Data Systems, Transaction on AIEE, Part. II: Applications and Industry, vol.79, pp.555-568, 1960. ,
Statistical theory of quantization. Instrumentation and Measurement, IEEE Transactions on, vol.45, issue.2, pp.353-361, 1996. ,
A Methodology for the Effiient Design of Fixed-Point Systems, 1998. ,
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. ,
An analytical approach for dynamic range estimation, Proc. ACM/IEEE Design Automation Conference (DAC), pp.472-477, 2004. ,
Dynamic range estimation for nonlinear systems, IEEE/ACM International Conference on Computer Aided Design (ICCAD), pp.660-667, 2004. ,
Improved l 2-sensitivity for state-space digital system, Signal Processing, vol.45, pp.837-840, 1997. ,
Roundoff noise analysis of two efficient digital filter structures. Signal Processing, IEEE Transactions on, vol.54, issue.2, pp.790-795, 2006. ,