|
Published Articles >> Table of Contents >> Abstract
24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98)
p. 10074
An Approach to High-Level Synthesis Using Constraint Logic Programming
Krzysztof Kuchcinski, Linköping University
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.1998.711780
Send link to a friend
| Abstract |
|
This paper presents a new method for modeling and solving high-level synthesis problem. In our approach, finite domain constraints and related constraints solving techniques offered by constrained logic programming are used. They make it possible to define basic constraints on operations and registers and provide a way to find optimal or suboptimal solutions to the data-path synthesis problem. Different design styles, such as multicycling, chaining, pipelined components and algorithmic pipelining can be modeled in this framework. The proposed formulation combines different constraints in one representation and thus the optimization can find a better solution. The prototype system has been implemented in CHIP, the constraint logic programming system. The extensive experiments carried out using this system has proved the feasibility of the presented approach.
|
 Additional Information
|
Citation:
Krzysztof Kuchcinski,
"An Approach to High-Level Synthesis Using Constraint Logic Programming,"
euromicro,
p. 10074,
24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98),
1998
|
|
