Presidential Young Investigator Award: Computer-Aided Design Synthesis

伯明翰这项研究的重点是开发一套工具，以快速制作数字系统的原型，并考虑到通过构建可测试的系统来最小化生命周期成本的需要，并考虑制造问题。基于知识的合成系统Micon充当了一个软件工作台。Micon为基于微处理器的系统输入高级功能规范，并生成完整的设计。更具体地说，这项研究集中在三个主要主题上：1.可测试性设计扩展(DFT)；2.Micon的领域无关版本(DIM)；以及3.高级(行为)综合工具的接口。研究集中在三个方面：大规模优化的启发式搜索方法、知识获取工具和时序验证。

Birmingham This research focuses on the development of a set of tools to rapidly prototype digital systems taking into account a need to minimize lifetime costs by building testable systems and including consideration of manufacturing issues. The knowledge- based synthesis system MICON serves as a software workbench. MICON takes a input high-level functional specifications for a microprocessor-based system and generates a complete design. More specifically, this research focuses on three major topics: 1. A design-for-testability extension (DFT); 2. A domain-independent version of MICON (DIM); and, 3. An interface to high-level (behavioral) synthesis tools. Research is concentrating on three areas: heuristic search methods for large-scale optimization, knowledge acquisition tools, and timing verification.