SOD:HCER: A Theory of Automated Design

摘要：moshe Y. VardiWilliam Marsh Rice university：自动化设计的理论随着计算机化系统变得越来越大，越来越复杂，并且越来越分散，越来越多的设计工作进入确认和验证工作。人们越来越需要通过设计来保证系统的可靠性、正确性和效率的形式化方法。本项目将通过建立计算系统自动化设计理论来解决这一挑战。这个项目的重点是将基于断言的自动验证的算法技术转移到基于断言的自动化设计中，构建在新兴的标准临时断言语言（如OVL、PSL和SVA）上。新技术将能够在更短的设计周期内以更低的成本开发出更高质量的系统。这一建议背后的设计科学的愿景是设计自动化，其中将正式规范转换为实现的过程在很大程度上是自动化的。这意味着手工设计工作的主要部分应该进入高级规范的开发，因为大部分实现工作可以自动化。这个项目的最终目标是在设计生产力和质量上有明显的提高。

ABSTRACT0613889Moshe Y. VardiWilliam Marsh Rice UniversitySoD-HCER: A Theory of Automated DesignAs computerized systems are becoming larger, more complex, and increasingly distributed, an increasing portion of the design effort goes into the validation and verification effort. There is a growing need for formal methods that guarantee systems reliability, correctness, and efficiency by design. This project will address this challenge by contributing to the the establishment of a theory of automated design of computing systems. The focus of this project is on moving algorithmic techniques for assertion-based automated verification into assertion-based automated design, building on emerging standard temporal assertion languages such as OVL, PSL, and SVA. The new techniques will enable the development of systems of higher quality within shorter design cycles and with lower costs. The vision for Science of Design underlying this proposal is that of design automation, in which the process of converting formal specification to implementation is, to a major extent, automated. The implication is that a major portion of the manual design effort should go into the development of high-level specification, since much of the implementation effort can then be automated. The ultimate goal of this project is a demonstrable improvement in design productivity and quality.