功能覆盖率驱动的TAU/MVBC模块验证

• 作者: 吴剑 姚爱红 张智钧
• 来源期刊: 计算机应用研究
• 关键词: 功能覆盖率 验证方法学 报文分析单元 SystemVerilog
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 系统应用开发
• 页码范围: 1352-1355
• 分类号: TP306.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.04.043

摘要

基于验证方法学,使用硬件验证语言搭建分层可复用的TAU/MVBC验证环境,利用功能覆盖率结果对随机激励生成器进行导向,同时使用断言覆盖未达到的边角情况,在合理的时间内达到了预定的覆盖率要求.结果表明,覆盖率导向的带约束随机激励生成方法通过提高对覆盖率贡献较大的小概率事件出现的次数,有效地提高了验证效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚爱红	哈尔滨工程大学计算机科学与技术学院	25	173	9.0	11.0
2	张智钧	哈尔滨工程大学计算机科学与技术学院	2	11	2.0	2.0
3	吴剑	哈尔滨工程大学计算机科学与技术学院	2	11	2.0	2.0