| 一种高效的模拟覆盖率分析方法研究 |
| |
| 引用本文： | 李暾,郭阳,李思昆.一种高效的模拟覆盖率分析方法研究[J].计算机研究与发展,2004,41(8):1442-1449. |
| |
| 作者姓名： | 李暾 郭阳 李思昆 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金项目 ( 60 3 0 3 0 11)，国家“八六三”高技术研究发展计划基金项目 ( 2 0 0 2AA1Z14 80 ) |
| |
| 摘 要： | 在覆盖率驱动的模拟验证方法中，模拟覆盖率分析时间直接影响模拟验证的效率．针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外，对模拟重放过程进行了改进，提出一种高效的基于VCD文件的模拟覆盖率分析方法．该方法模拟重放时只针对HDL描述中的控制语句进行求解．实现了模拟覆盖率分析系统原型和各种覆盖率测度的分析方法．实验结果表明该方法在获得与现有方法同等覆盖率分析精度的同时，模拟重放效率提高2倍多．
|
| 关 键 词： | VLSI模拟验证 信号值变化导出文件 模拟覆盖率分析 |
A Study of Simulation Coverage Analysis Method |
| |
| LI Tun,GUO Yang,and LI Si-Kun.A Study of Simulation Coverage Analysis Method[J].Journal of Computer Research and Development,2004,41(8):1442-1449. |
| |
| Authors: | LI Tun GUO Yang and LI Si-Kun |
| |
| Abstract: | 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. |
| |
| Keywords: | VLSI simulation verification value change dump file coverage metrics analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
