Title :
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
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;
Conference_Titel :
European Design and Test Conference, 1997. ED&TC 97. Proceedings
Conference_Location :
Paris
Print_ISBN :
0-8186-7786-4
DOI :
10.1109/EDTC.1997.582432
