图 书 馆
从自动化验证到自动化设计From Automated Verification to Automated Design |
|
| 课程网址: | http://videolectures.net/icaps2010_vardi_design/ |
| 主讲教师: | Moshe Y. Vardi |
| 开课单位: | 莱斯大学 |
| 开课时间: | 2010-11-15 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | One of the most significant developments in the area of design verification over the last decade is the development of algorithmic methods for verifying temporal specification of finite-state designs. A frequent criticism against this approach, however, is that verification is done after significant resources have already been invested in the development of the design. Since designs invariably contains errors, verification simply becomes part of the debugging process. The critics argue that the desired goal is to use the specification in the design development process in order to guarantee the development of correct designs. This is called automated design (or synthesis). In this talk I will review 50 years of research on automated design and show how the automata-theoretic approach can be used to solve it. |
| 关 键 词: | 计算机科学; 人工智能 ; 自动化设计 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2020-09-21：heyf |
| 阅读次数: | 41 |