Using constraint logic programming in memory synthesis for general purpose computers

Author

Beckmann, Renate ; Herrmann, J.

Author_Institution

Dept. of Comput. Sci. XII, Dortmund Univ., Germany

fYear

1997

fDate

17-20 Mar 1997

Firstpage

619

Abstract

Summary form only. In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory systems for general purpose computers. We present a first approach to CAD support for this crucial subtask of system level design. Dependencies between influencing factors and design decisions are explicitly represented by constraints, and constraint logic programming is used to make the design decisions. The memory design is optimized with respect to several objectives by iterating the (re)design cycle. Event driven simulation is used for evaluation of the intermediate results. The system is organized as an interactive design assistant

Keywords

circuit CAD; constraint handling; discrete event simulation; general purpose computers; integrated memory circuits; logic CAD; memory architecture; CAD support; constraint logic programming; design decisions; event driven simulation; general purpose computers; interactive design assistant; memory synthesis; optimised memory design; system level design; Application software; Computer architecture; Computer science; Design automation; Design methodology; Design optimization; Discrete event simulation; Logic programming; Space technology; System-level design;

fLanguage

English

Publisher

ieee

Conference_Titel

European Design and Test Conference, 1997. ED&TC 97. Proceedings

Conference_Location

Paris

ISSN

1066-1409

Print_ISBN

0-8186-7786-4

Type

conf

DOI

10.1109/EDTC.1997.582432

Filename

582432