Name
Title | ||
|---|---|---|
Constraint-Driven Identification of Application Specific Instructions in the DURASE System |
Abstract | ||
|---|---|---|
This paper presents a new constraint-driven method for fast identification of computational patterns that is a part of DURASE system (Generic Environment for Design and Utilization of Reconfigurable Application-Specific Processors Extensions). The patterns identified by our system form a base for application specific instruction selection and processor extension generation. Our method identifies all computational patterns directly from an application graph satisfying all architectural and technological constraints imposed by target processors and FPGA devices. The considered constraints include a number of inputs and outputs, a number of operators, and a delay of the pattern critical path. Therefore the identified patterns can be well tailored to target processors. Our approach uses heavily constraint programming methods, which makes it possible to mix graph isomorphism constraints with other constraints in one formal environment. We have extensively evaluated our algorithm on MediaBench and MiBench benchmarks with tough architectural and technological constraints. The obtained patterns have good coverage of application graphs while limiting number of operators and fulfill architectural and technological constraints. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1007/978-3-642-03138-0_21 | SAMOS |
Keywords | Field | DocType |
computational pattern,target processor,application specific instructions,application graph,durase system,system form,technological constraint,constraint-driven identification,application specific instruction selection,constraint programming method,new constraint-driven method,graph isomorphism constraint,constraint programming,satisfiability,critical path,graph isomorphism | Graph,Application specific,Graph isomorphism,Computer science,Instruction selection,Parallel computing,Constraint programming,Field-programmable gate array,Operator (computer programming),Critical path method | Conference |
Volume | ISSN | Citations |
5657 | 0302-9743 | 8 |
PageRank | References | Authors |
0.51 | 16 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kevin Martin | 1 | 43 | 6.76 |
| Christophe Wolinski | 2 | 297 | 28.34 |
| Krzysztof Kuchcinski | 3 | 775 | 66.42 |
| Antoine Floch | 4 | 38 | 2.42 |
| François Charot | 5 | 136 | 15.93 |