| 系统芯片的混合验证方法 |
| |
| 引用本文： | 韩俊刚. 系统芯片的混合验证方法[J]. 西安邮电学院学报, 2002, 7(1): 12-17 |
| |
| 作者姓名： | 韩俊刚 |
| |
| 作者单位： | 西安邮电学院,计算机系,陕西,西安,710061 |
| |
| 摘 要： | 阐述系统芯片 (SOC)的设计验证特点。综述目前流行的验证方法 ,指出所存在的问题。论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势
|
| 关 键 词： | 形式化验证 系统芯片 模型检验 半形式化方法 |
| 文章编号： | 1007-3264(2002)01-0012-06 |
| 修稿时间： | 2001-09-25 |
Hybrid Verification for SOC |
| |
| Abstract: | A survey of current verification methods for SOC is presented in this paper.The characteristics and problems of design verification for SOC are analyzed.Hybrid methods for SOC verification and their current status are discussed.Some interesting research directions are pointed out. |
| |
| Keywords: | formal verification System-On-a-Chip model checking hybrid verification |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
