Constraint Programming Approach to Reconfigurable Processor Extension Generation and Application Compilation

Abstract : In this paper, we present a constraint programming approach for solving hard design problems present when automatically designing specialized processor extensions. Specifically, we discuss our approach for automatic selection and synthesis of processor extensions as well as efficient application compilation for these newly generated extensions. The discussed approach is implemented in our integrated design framework, IFPEC, built using constraint programming (CP). In our framework, custom instructions, implemented as processor extensions, are defined as computational patterns and represented as graphs. This, along with the graph representation of an application, provides a way to use our CP framework equipped with subgraph isomorphism and connected component constraints for identification of processor extensions as well as their selection, application scheduling, binding and routing. All design steps assume architectures composed of run-time reconfigurable cells, implementing selected extensions, tightly connected to a processor. An advantage of our approach, is possibility of combining different heterogeneous constraints to represent and solve all our design problems. Moreover, the flexibility and expressiveness of the CP framework makes it possible to solve simultaneously extension selection, application scheduling and binding and improve the quality of the generated results. The paper is largely illustrated with experimental results.
Type de document :
Article dans une revue
ACM Transactions on Reconfigurable Technology and Systems (TRETS), ACM, 2012, 5 (2), pp.10:1--10:38. 〈http://doi.acm.org/10.1145/2209285.2209〉. 〈10.1145/2209285.2209289〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00663464
Contributeur : François Charot <>
Soumis le : vendredi 27 janvier 2012 - 11:14:55
Dernière modification le : mardi 16 janvier 2018 - 15:54:20

Identifiants

Citation

Kevin Martin, Christophe Wolinski, Krzysztof Kuchcinski, Antoine Floch, François Charot. Constraint Programming Approach to Reconfigurable Processor Extension Generation and Application Compilation. ACM Transactions on Reconfigurable Technology and Systems (TRETS), ACM, 2012, 5 (2), pp.10:1--10:38. 〈http://doi.acm.org/10.1145/2209285.2209〉. 〈10.1145/2209285.2209289〉. 〈hal-00663464〉

Partager

Métriques

Consultations de la notice

411