| RTL验证框架--HRV |
| |
| 引用本文： | 郭阳,李暾,李思昆,朱丹,梁磊.RTL验证框架--HRV[J].计算机辅助设计与图形学学报,2004,16(11):1580-1583. |
| |
| 作者姓名： | 郭阳 李暾 李思昆 朱丹 梁磊 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙,410073 |
| |
| 基金项目： | 本课题得到国家自然科学基金(60303011)资助. |
| |
| 摘 要： | 设计并实现了一个RTL覆盖率驱动的验证框架HRV，它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法．实验结果表明，HRV通过集成多种验证工具，提高了模拟验证效率，加速了错误检测和错误定位．
|
| 关 键 词： | 超大规模集成电路 寄存器传输级 模拟矢量自动生成 覆盖率分析 |
RT-Level Verification Framework-HRV |
| |
| Guo Yang,Li Tun,Li Sikun,Zhu Dan,Liang Lei.RT-Level Verification Framework-HRV[J].Journal of Computer-Aided Design & Computer Graphics,2004,16(11):1580-1583. |
| |
| Authors: | Guo Yang Li Tun Li Sikun Zhu Dan Liang Lei |
| |
| Abstract: | |
| |
| Keywords: | VLSI RTL simulation vectors generation coverage analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
