| SOC的形式化验证方法 |
| |
| 引用本文： | 李德识,陈健,孙涛.SOC的形式化验证方法[J].武汉大学学报(工学版),2008,41(6). |
| |
| 作者姓名： | 李德识 陈健 孙涛 |
| |
| 作者单位： | 武汉大学电子信息学院,湖北,武汉,430079 |
| |
| 基金项目： | 国家863重大专项资助
|
| |
| 摘 要： | 针对SOC验证的需要,研究了形式化验证方法,重点分析了二元决策图(BDD)的等效性检查技术,设计了FSM等效性检查的程序,以及算法级描述控制流程到BDD转换方法;研究了利用计算树逻辑进行的模型检查技术,给出了CTL模型检查的处理流程;提出了形式化仿真的模型以及测试向量生成算法.
|
| 关 键 词： | 形式化 BDD CTL 验证 |
Formal method for SOC verification |
| |
| LI Deshi,CHEN Jian,SUN Tao.Formal method for SOC verification[J].Engineering Journal of Wuhan University,2008,41(6). |
| |
| Authors: | LI Deshi CHEN Jian SUN Tao |
| |
| Abstract: | The formal verification method is discussed;the BDD equivalent checking technology is analyzed emphatically;a FSM equivalent checking and a arithmetic level to BDD converting program are designed.The CTL model checking technology is given;a CTL(computation tree logic) model checking verification flow is discussed.Based on simulation method,a new formal simulation model and test vector creating algorithm are presented. |
| |
| Keywords: | BDD CTL |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
