Optimizing Affine Control with Semantic Factorizations

Résumé : Les accélérateurs matériels compilés par les algorithmes de synthèse polyédrique utilisent intensivement des expressions affines fonctions affines par morceaux, polyèdres convexes) dans leur contrôle. Comme le contrôle est pipeliné, ces objets affines doivent être évalués en même temps pour différentes valeurs d'entrée, ce qui interdit une réutilisation aggressive des opérateurs. Dans ce rapport, nous proposons un algorithme pour factoriser une collection d'expressions affines sans empêcher le pipeline. Nos contributions sont (i) l'utilisation de factorisations exploitant les propriétés arithmétiques de l'addition et de la multiplication et (ii) une fonction de coût dont la minimisation assure une utilisation efficace des ressources FPGA. Notre algorithme est totalement paramétré par la fonction de coût, qui peut être adaptée à un FPGA cible donné. Les résultats expérimentaux montrent que notre algorithme complète avantageusement les optimisations RTL bas-niveau implantées dans les outils de synthèse industriels. En particulier, nous montrons comment notre algorithme reduit la taille du circuit en révélant des réductions de force cachées.
Type de document :
Article dans une revue
ACM Transactions on Architecture and Code Optimization (TACO) , ACM, 2017, 14 (4), pp.27. 〈http://taco.acm.org/〉
Liste complète des métadonnées

Littérature citée [38 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01470873
Contributeur : Christophe Alias <>
Soumis le : vendredi 24 novembre 2017 - 17:49:32
Dernière modification le : mercredi 11 avril 2018 - 01:53:38

Fichier

RR-9034.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01470873, version 3

Citation

Christophe Alias, Alexandru Plesco. Optimizing Affine Control with Semantic Factorizations. ACM Transactions on Architecture and Code Optimization (TACO) , ACM, 2017, 14 (4), pp.27. 〈http://taco.acm.org/〉. 〈hal-01470873v3〉

Partager

Métriques

Consultations de la notice

65

Téléchargements de fichiers

86