RTL模拟矢量自动生成技术研究

摘要：

模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键.本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器,基于VCD文件的代码覆盖率分析器/以及基于路径和基于断言的模拟矢量自动生成方法.实验结果表明,HRV可有效提高模拟验证效率,加速错误检测和错误定位.

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

作者: 郭阳 李暾 李思昆 朱丹 梁磊

作者单位: 国防科技大学计算机学院(长沙)

会议类型: 国内会议

会议名称: 全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议

会议地点: 合肥

会议语种:中文

页码: 226-229

在线出版日期: 2004-08-01（万方平台首次上网日期，不代表论文的发表时间）