Digital Systems Design Using Constraint Logic Programming


This paper presents an application of finite domain constraint logic 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… (More)


11 Figures and Tables

Slides referencing similar topics