面向SoC的事务级验证研究

• 作者: 吴悦 杨洪斌 韩霞
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 系统芯片 基于事务的验证 验证平台
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 33-36
• 页数: 4页
• 分类号: TP302.1
• 字数: 3623字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2007.03.010

摘要

随着集成电路的快速发展,一个SoC的规模已经在几百万门至几千万门左右,面对这样高的复杂度,功能验证成为芯片设计中的一个挑战.传统的验证方法已经成为SoC设计的"瓶颈".基于事务的验证方法成为SoC设计中功能验证最有效的途径之一.文中重点阐述了基于事务验证的相关概念,给出了完成SoC事务验证的一般流程和设计方法,并详细分析了事务验证平台的设计调试和功能覆盖率分析,最后对传统的验证方法和基于事务的验证方法进行了比较,给出了基于事务验证方法的优点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨洪斌	上海大学计算机工程与科学学院	42	185	6.0	11.0
2	吴悦	上海大学计算机工程与科学学院	59	274	9.0	13.0
3	韩霞	上海大学计算机工程与科学学院	3	33	1.0	3.0