RTL验证框架--HRV

• 作者: 朱丹 李思昆 李暾 梁磊 郭阳
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 超大规模集成电路 寄存器传输级 模拟矢量自动生成 覆盖率分析
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 1580-1583
• 页数: 4页
• 分类号: TP391.72
• 字数: 4128字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2004.11.020

摘要

设计并实现了一个RTL覆盖率驱动的验证框架HRV,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 .实验结果表明,HRV通过集成多种验证工具,提高了模拟验证效率,加速了错误检测和错误定位.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭阳	国防科学技术大学计算机学院	39	252	9.0	14.0
2	李暾	国防科学技术大学计算机学院	29	182	7.0	12.0
3	李思昆	国防科学技术大学计算机学院	133	1339	18.0	31.0
4	朱丹	国防科学技术大学计算机学院	6	24	3.0	4.0
5	梁磊	国防科学技术大学计算机学院	1	0	0.0	0.0