期刊文献+

一种高效的模拟覆盖率分析方法研究

A Study of Simulation Coverage Analysis Method
下载PDF
导出
摘要 在覆盖率驱动的模拟验证方法中 ,模拟覆盖率分析时间直接影响模拟验证的效率 针对现有基于值变化导出(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 )
关键词 VLSI模拟验证 信号值变化导出文件 模拟覆盖率分析 VLSI simulation verification value change dump file coverage metrics analysis
  • 相关文献

参考文献13

  • 1Serdar Tasiran, Kurt Keutzer. Coverage metrics for functional validation of hardware designs. IEEE Design & Test of Computers, 2001, 18(4): 36~45
  • 2Tsu-Hwa Wang, Chong Guan Tan. Practical code coverage for Verilog. In: Nihon Denshi Kikai K Ogy Okai ed. In: The 4th IEEE Int'l Verilog HDL Conf. Santa Clara, CA: IEEE Press,1995. 99~ 105
  • 3D Drako, P Cohen. HDL verification coverage. Integrated Systems Design Magazine, 1998, 4(6) : 25~31
  • 4A Gupta, S Malik, P Ashar. Toward formalizing a validation methodology using simulation coverage. In: Ellen J Yoffa,Giovanni De Micheli, Jan M Rabaey, eds. Proc of the 34th Design Automation Conference. Anaheim, California: ACM Press,1997. 740~745
  • 5Mike Benjamin, Daniel Geist, Alan Hartman. A study in coverage-driven test generation. In: Mary Jane Irwin ed. Proc of the 36th Design Automation Conference. New Orleans, LA:ACM Press, 1999. 970~975
  • 6Verilog HDL Reference Manual, IEEE std 1364-2001. New York: IEEE Press, 2001
  • 7Advanced Technology Center. CoverMeterTM. http:∥www.covermeter. com, 2002
  • 8Design Acceleration Incorporation. CoverScanTM. http:∥www.designacc.com/products/coverscan/indes.html, 2002
  • 9Summit Design Incorporation. HDLScoreTM. http : ∥ www .summit-design. com/products/hdlscore. html, 2002
  • 10Chen-Nan Jimmy Liu, Chen-Yi Chang, Jing-Yang Jou, et al. A novel approach for functional coverage measurement in HDL. In:Thomas Schimming ed. Int'l Symp on Circuit and Systems (ISCAS 2000). Geneva, Switzerland: IEEE Press, 2000. 217~220

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部