摘要
在覆盖率驱动的模拟验证方法中 ,模拟覆盖率分析时间直接影响模拟验证的效率 针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外 ,对模拟重放过程进行了改进 ,提出一种高效的基于VCD文件的模拟覆盖率分析方法 该方法模拟重放时只针对HDL描述中的控制语句进行求解 实现了模拟覆盖率分析系统原型和各种覆盖率测度的分析方法 实验结果表明该方法在获得与现有方法同等覆盖率分析精度的同时 ,模拟重放效率提高
The time cost of simulation coverage analysis directly influences the verification effectiveness in coverage-driven verification approaches. The existing VCD-based coverage analysis method is inefficient in simulation replay. A high performance coverage analysis approach with improved simulation replay method is proposed, which only evaluates control statement when replaying simulation. A prototype system is implemented and several experiments are conducted on it; promising experimental results show that with the same coverage analysis accuracy, the simulation replay method can gain speedup over two times.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2004年第8期1442-1449,共8页
Journal of Computer Research and Development
基金
国家自然科学基金项目 ( 60 3 0 3 0 11)
国家"八六三"高技术研究发展计划基金项目 ( 2 0 0 2AA1Z14 80 )