FPLA: Fixed-Point Linear Algebra

 

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?

Installation prerequisites

In order to compile FPLA, you will need the following packages installed: You will also need Gappa (>= 0.16.1) installed if you desire to formal check the accuracy bound certificates.

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
FPLA is governed by the CeCILL v2 license under French law and abiding by the rules of distribution of free software. You can use, modify and/or redistribute the software under the terms of the CeCILL v2 license as circulated by CEA, CNRS and INRIA at the following URL http://www.cecill.info (see also COPYING.CeCILL-V2-en or COPYING.CeCILL-V2-fr for details).
Valid HTML 4.01 Transitional Valid CSS 2.1
Mohamed Amine Najahi
Last modified: August 31 2020 20:41:38.