Application of Constraint Programming to Digital System Design
Radosław Szymanek, Flavius Gruian, Krzysztof Kuchciński · Lund University Publications (Lund University) · 1999
This paper presents an application of finite domain constraint programming methods to digital system synthesis problems. The modeling methods address basic synthesis problems of high-level synthesis and system-level synthesis. Based on the presented models, the synthesis algorithms are then defined. These algorithms aim to optimize digital systems with respect to cost, power consumption, and execution time.