RTL验证框架——HRV  

RT-Level Verification Framework—HRV

作　　者：郭阳[1] 李暾[1] 李思昆[1] 朱丹[1] 梁磊[1] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073

出　　处：《计算机辅助设计与图形学学报》2004年第11期1580-1583,共4页Journal of Computer-Aided Design & Computer Graphics

基　　金：国家自然科学基金 ( 60 3 0 3 0 11)资助

摘　　要：设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟验证效率 。This paper presents design and its implements for a coverage-driven verification framework—HRV for VLSI RTL designs HRV integrated program slicing based design extractor, VCD file based coverage analyzer, path-based and assertion-based automatic simulation vectors generator Experimental results show that HRV improve the efficiency of simulation verification, accelerate the errors detecting and locating for RTL HDL descriptions

关 键 词：超大规模集成电路 寄存器传输级 模拟矢量自动生成 覆盖率分析 

分 类 号：TP391.72[自动化与计算机技术—计算机应用技术]