基于断言的SoC设计验证方法

• 作者: 董杨鑫 郑建宏
• 来源期刊: 电子测试
• 学科: 工学
• 关键词: SoC 验证 断言 OVA
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 设计与研究
• 页码范围: 52-55
• 页数: 4页
• 分类号: TN7
• 字数: 3068字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-8519.2007.09.011

摘要

随着SoC(System on-a-Chip)设计规模的指数增长,验证时的模拟时间也变得越来越长,已经到了令人无法忍受的地步.因此如何进行有效、充分的验证,尤其是功能验证已经成为SoC设计方法学中重要的内容.本文将要介绍的基于断言的验证(Assertion Based Verification,ABV)是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑建宏	重庆邮电大学移动通信工程研究中心	127	656	12.0	21.0
2	董杨鑫	重庆邮电大学移动通信工程研究中心	5	37	3.0	5.0