Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2014

Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition

Abstract

Matrix inversion is a computationally intensive basic block of many digital signal processing algorithms. To decrease the cost of their implementations, programmers often prefer the fixed-point arithmetic. This arithmetic requires less resources and runs faster than the floating-point arithmetic, but all the arithmetical details must be handled by the programmer. In this article, we overcome this drawback by presenting an automated approach to synthesize fixed-point code for matrix inversion based on Cholesky decomposition. First we rigorously define the square root and division operators especially in terms of rounding error, and we implement them in the CGPE library. This allows us to provide accuracy certificates for the generated code. Second we propose a workflow based on Cholesky decomposition that carefully uses these operators to produce accurate code for the basic blocks of matrix inversion. Finally we illustrate the efficiency of our approach on some benchmarks, and show how it allows us to synthesize accurate code in a few seconds and thus to reduce the development time of fixed-point matrix inversion.
Fichier principal
Vignette du fichier
MaNaRe-DASIP2014-submitted.pdf (314.97 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

lirmm-01212806 , version 1 (07-10-2015)

Identifiers

Cite

Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy. Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. DASIP: Design and Architectures for Signal and Image Processing, Oct 2014, Madrid, Spain. pp.1-8, ⟨10.1109/DASIP.2014.7115609⟩. ⟨lirmm-01212806⟩
303 View
1033 Download

Altmetric

Share

More