Digital Systems Design Using Constraint Logic Programming

Abstract

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)

Topics

11 Figures and Tables

Slides referencing similar topics