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.