Application of Constraint Logic Programming for VLSI CAD Tools
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Combining Constraint Logic Programming Techniques for Solving Linear Problems
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Processor/Memory Co-Exploration on Multiple Abstraction Levels
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Hi-index | 0.00 |
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