| 基于断言的SoC设计验证方法 |
| |
| 引用本文： | 董杨鑫,郑建宏.基于断言的SoC设计验证方法[J].电子测试,2007(9):52-55. |
| |
| 作者姓名： | 董杨鑫 郑建宏 |
| |
| 作者单位： | 重庆邮电大学移动通信工程研究中心,400065 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 随着SoC(System on-a-Chip)设计规模的指数增长,验证时的模拟时间也变得越来越长,已经到了令人无法忍受的地步.因此如何进行有效、充分的验证,尤其是功能验证已经成为SoC设计方法学中重要的内容.本文将要介绍的基于断言的验证(Assertion Based Verification,ABV)是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率.
|
| 关 键 词： | 验证 断言 |
Assertion Based Verification Methodology of SoC Design |
| |
| Dong Yangxin,Zheng Jianhong.Assertion Based Verification Methodology of SoC Design[J].Electronic Test,2007(9):52-55. |
| |
| Authors: | Dong Yangxin Zheng Jianhong |
| |
| Abstract: | |
| |
| Keywords: | SoC OVA |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
