| SOC的形式化验证方法 |
| |
| 引用本文： | 郭建,韩俊刚.SOC的形式化验证方法[J].西安邮电学院学报,2005,10(3):79-82,87. |
| |
| 作者姓名： | 郭建 韩俊刚 |
| |
| 作者单位： | 西安邮电学院,计算机系,陕西,西安,710061 |
| |
| 基金项目： | 国家自然科学基金（90207015） |
| |
| 摘 要： | 如何对片上系统(SOC)来进行验证,是一个比较复杂的问题。本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几个问题以及解决的方法。最后给出了对SOC验证的一般方法。
|
| 关 键 词： | 片上系统 形式化验证 等价性验证 模型检验 |
| 文章编号： | 1007-3264（2005）03-0079-04 |
| 收稿时间： | 2005-02-23 |
| 修稿时间： | 2005-02-23 |
Formal verification methods for SOC |
| |
| GUO Jian,HAN Jun-Gang.Formal verification methods for SOC[J].Journal of Xi'an Institute of Posts and Telecommunications,2005,10(3):79-82,87. |
| |
| Authors: | GUO Jian HAN Jun-Gang |
| |
| Abstract: | How to verify System On Chip(SOC)is a complicated problem.In this paper,formal methods for SOC verification is introduced, several problems during equivalent verification are pointed out and analyzed.At last,a method of SOC verification is given. |
| |
| Keywords: | SOC verification formal verification equivalent checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
