Analytical Approach for Numerical Accuracy Estimation of Fixed-Point Systems Based on Smooth Operations

Romuald Rocher 1 Daniel Ménard 1 Olivier Sentieys 1 Pascal Scalart 1
1 CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE
Abstract : In embedded systems using fixed-point arithmetic, convert- ing applications into fixed-point representations requires a fast and efficient accuracy evaluation. This paper presents a new analytical approach to determine an estimation of the numerical accuracy of a fixed-point system, which is accurate and valid for all systems formulated with smooth operations (e.g. additions, subtractions, multiplications and divisions). The mathematical expression of the system output noise power is determined using matrices to obtain more compact expressions. The proposed approach is based on the determination of the time- varying impulse-response of the system. To speedup computation of the expressions, the impulse response is modelled using a linear prediction approach. The approach is illustrated in the general case of time-varying recursive systems by the Least Mean Square (LMS) algorithm example. Experiments on various and representative applications show the fixed- point accuracy estimation quality of the proposed approach. Moreover, the approach using the linear-prediction approximation is very fast even for recursive systems. A significant speed-up compared to the best known accuracy evaluation approaches is measured even for the most complex benchmarks.
Document type :
Journal articles
Complete list of metadatas

Cited literature [36 references]  Display  Hide  Download
https://hal.inria.fr/hal-00741741
Contributor : Romuald Rocher <>
Submitted on : Monday, October 15, 2012 - 11:18:13 AM
Last modification on : Thursday, November 15, 2018 - 11:57:39 AM
Long-term archiving on : Wednesday, January 16, 2013 - 3:38:03 AM

File

ArticleVersionFinale.pdf
Files produced by the author(s)

Identifiers

Collections

INRIA | UNIV-RENNES1 | IRISA | IETR-INSA | INSA-RENNES | IETR | IRISA-D3 | INSTITUT-TELECOM | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Romuald Rocher, Daniel Ménard, Olivier Sentieys, Pascal Scalart. Analytical Approach for Numerical Accuracy Estimation of Fixed-Point Systems Based on Smooth Operations. IEEE Transactions on Circuits and Systems Part 1 Fundamental Theory and Applications, Institute of Electrical and Electronics Engineers (IEEE), 2012, 59 (10), pp.2326 - 2339. ⟨10.1109/TCSI.2012.2188938⟩. ⟨hal-00741741⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

2922

Files downloads

373

Contact


archive-ouverte@inria.fr