Digital System Level Synthesis Tools

这个研究是关于数字电子系统的系统级综合的算法和技术。系统的输入是系统行为方面的高层次规范。研究建立在两个现有的设计系统上；系统架构师工作台，以及一个微机板设计系统，称为MICON。正在调查的研究问题是：适当风格选择的划分规范，综合-包括学习和解决问题的方法，设计信息的内部表示，系统级设计表示和人机界面，以及使用不同类型的综合工具的受控迭代（设计过程控制）。这些算法正被集成到一个原型系统级综合框架中。

Thomas This research is on algorithms and techniques for system- level synthesis of digital electronic systems. Inputs to the system are intended to be high level specifications in terms of system behavior. Research builds on two existing design systems; the system architects workbench, and a microcomputer board design system, called MICON. Research issues being investigated are: partitioning specifications for appropriate style selection, synthesis - including learning and problem solving approaches, internal representation of design information, system level design representation and human interface, and controlled iteration with different types of synthesis tools (design process control). The algorithms are being integrated into a prototype system-level synthesis framework.