Affiliation:
1. INRIA, Rennes-Bretagne Atlantique
2. IRISA, University of Rennes I
3. Lund University
Abstract
In this article, 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 runtime reconfigurable cells, implementing selected extensions, tightly connected to a processor. An advantage of our approach is the 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 article is largely illustrated with experimental results.
Publisher
Association for Computing Machinery (ACM)
Reference47 articles.
1. Automatic application-specific instruction-set extensions under microarchitectural constraints
2. An integer linear programming approach for identifying instruction-set extensions
3. Fast custom instruction identification by convex subgraph enumeration
4. Bonzini P. and Pozzi L. 2008a. On the complexity of enumeration and scheduling for extensible embedded processors. Tech. rep. 2008/07 University of Lugano. Bonzini P. and Pozzi L. 2008a. On the complexity of enumeration and scheduling for extensible embedded processors. Tech. rep. 2008/07 University of Lugano.
5. Recurrence-Aware Instruction Set Selection for Extensible Embedded Processors
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献