| 数字系统的形式化验证方法 |
| |
| 引用本文： | 刘路路,陶玲.数字系统的形式化验证方法[J].安徽教育学院学报,2008,26(3). |
| |
| 作者姓名： | 刘路路 陶玲 |
| |
| 作者单位： | 1. 合肥师范学院,计算机科学技术系,安徽,合肥,230061
2. 安徽电气工程职业技术学院,安徽,合肥,230022 |
| |
| 摘 要： | 成功设计一个复杂数字系统要求在设计的各个阶段验证实现的正确性,传统的模拟验证已不能完全满足需要,形式验证技术成为了重要的补充.研究了国内外形式验证技术的研究成果,对主要方法进行了分析和比较并对新的热点进行了展望.
|
| 关 键 词： | 数字系统 形式验证 方法 |
Formal Verification Method of Digital System |
| |
| LIU Lu-lu,TAO Ling.Formal Verification Method of Digital System[J].Journal of Anhui Institute of Education,2008,26(3). |
| |
| Authors: | LIU Lu-lu TAO Ling |
| |
| Abstract: | Successful design of a complex digital system requires the various stages of implementation to achieve the correctness,traditional approach is no longer adequate and formal verification technology becomes an important complement.The research results of formal verification technology at home and abroad are investigated in this paper,the principal methods are analyzed and compared,and some problems worth researching are pointed out. |
| |
| Keywords: | digital system formal verification method |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
