Automated synthesis of fast and certified code for linear algebra basic blocks
FPLA is a software tool that synthesizes certified fixed-point codes for some linear algebra
basic blocks.
FPLA is developed
by DALI project-team from Université
de Perpignan Via Domitia and
Laboratoire d'Informatique, de Robotique et de Microélectronique de
Montpellier (CNRS: UMR 5506 and UM2).
It is written by
Guillaume Revy,
and Amine Najahi.
How to get it?
- For now, FPLA-1.0.0 is only available upon request to amine.najahi [at] univ-perp.fr .
- To submit a bug report, please just send an email at amine.najahi [at] univ-perp.fr.
Installation prerequisites
In order to compile FPLA, you will need the following packages installed:- a C++ compiler (for example, g++),
- the GNU MP library (gmp >= 5.1.1),
- the C++ bindings for the GNU MP library (gmpxx.h >= 5.1.1),
- the MPFR library (mpfr >= 3.1.1),
- the MPFI library (mpfi >= 1.5.1),
- the libxml2 library (>= 2.7.5),
- the CGPE library (>= 2.0.0),
- and the FloPoCo library (>= 2.4.0) together with the Sollya library (>= 3.0.0), if you expect to output VHDL description.
Related publications
| [1] | Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication. Matthieu Martel, Amine Najahi, and Guillaume Revy. In 4th International Conference on Pervasive and Embedded Computing and Communication Systems 2014 Lisbon, Portugal, 7-9 January 2014. [lirmm-00860383] |
License
Copyright © 2013-2014 by-
Université de Perpignan Via Domitia and Laboratoire d'Informatique, de Robotique et de Microelectronique de
Montpellier (CNRS: UMR 5506 and UM2).
