| 硬件设计的形式化验证技术 |
| |
| 引用本文： | 杨泽民,范全润.硬件设计的形式化验证技术[J].太原师范学院学报(自然科学版),2007,6(2):54-56. |
| |
| 作者姓名： | 杨泽民 范全润 |
| |
| 作者单位： | 1. 大同大学,数学与计算机科学学院,山西,大同,037009
2. 楚雄师范学院,计算机科学系,云南,楚雄,675000 |
| |
| 摘 要： | 形式化验证用数学可证明的方式来验证系统.硬件设计的形式化验证通常有三种方法：定理证明、等价性检验和模型检验.文章着重分析了这三种方法的优缺点，探讨了形式化验证技术所面临的挑战，以及目前形式化验证技术可能的一些研究方向.
|
| 关 键 词： | 硬件 形式化验证 定理证明 等价性检验 模型检验 |
| 文章编号： | 1672-2027（2007）02-0054-03 |
| 修稿时间： | 2006-12-28 |
Formal Verification of Hardware Designs |
| |
| Yang Zemin,Fan Quanrun.Formal Verification of Hardware Designs[J].Journal of Taiyuan Normal University:Natural Science Edition,2007,6(2):54-56. |
| |
| Authors: | Yang Zemin Fan Quanrun |
| |
| Institution: | 1. School of Mathmatic and Computer Science ,Shanxi Datong University ,Datong 037009; 2. Department of Computer Science ,Chuxiong Normal University ,Chuxiong 675000,China |
| |
| Abstract: | Formal verification use a provable approach to verification the system. There are three methods for Hardware design verificat ion,namely theorem proving,equivalence checking, and model checking. An overview of these methods is presented. The merits and demerits of each method are dis cussed. We also make a few comments of the challenges that formal verification faced and the future research directions. |
| |
| Keywords: | hardware systems formal verification theorem proving equivalence checking Model checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
