期刊文献+

Domain Coverage Metric for SoC Validation

Domain Coverage Metric for SoC Validation
下载PDF
导出
摘要 The importance of system-on-chip (SoC) validation continues to grow with the increase of design size. An innovative domain coverage metric is proposed to measure the completeness and quality of validation approach. Domain methodology is based on a geometrical analysis of the domain boundary and takes advantage of the fact that the point on or near the boundary is the most sensitive to domain errors. The coverage tool has been implemented using Verilog procedural interface (VPI) and applied to validation of SoC under design. Results show that the domain coverage can detect many design faults which statement and path coverage can not. The importance of system-on-chip (SoC) validation continues to grow with the increase of design size. An innovative domain coverage metric is proposed to measure the completeness and quality of validation approach. Domain methodology is based on a geometrical analysis of the domain boundary and takes advantage of the fact that the point on or near the boundary is the most sensitive to domain errors. The coverage tool has been implemented using Verilog procedural interface (VPI) and applied to validation of SoC under design. Results show that the domain coverage can detect many design faults which statement and path coverage can not.
出处 《Journal of Electronic Science and Technology of China》 2009年第4期353-357,共5页 中国电子科技(英文版)
关键词 COVERAGE DOMAIN system-on-chip validation Coverage, domain, system-on-chip validation
  • 相关文献

参考文献14

  • 1A. S. O. Clarke and E. M. Gupta, "Sat-based counterexample-guided abstraction refinement," IEEE Trans on CAD of Integrated Circuits and Systems, vol. 23, no. 7, pp. 1113-1123, 2004. 被引量:1
  • 2C. Luo, J. Yang, and L.-X. Shi, "Domain strategy and coverage metric for valieation," in Proc. of the International Symposium on Quality Electronic Design (ISQED 2005), San Jose, 2005, pp. 40-45. 被引量:1
  • 3VCS/VCS MX Coverage Metrics User Guide, Version 7.0.1, Synopsys, 2003. 被引量:1
  • 4Code Coverage User Guide Version 5.0, Cadence, 2003. 被引量:1
  • 5ModelSim Version 5. 7, Mentor Graphics, 2003. 被引量:1
  • 6Active-HDL 5. 7g, Mentor Graphics, 2003. 被引量:1
  • 7K. Tasiran and S. Keutzer, "Coverage metrics for functional validation of hardware designs," IEEE Design and Test of Computers, vol. 18, no. 4, pp. 36-45, 2001. 被引量:1
  • 8J. Bergeron, Writing Testbench: Functional Verification of HDL Models, London: Kluwer Academic Publishers, 2000. 被引量:1
  • 9Q. Zhang, "Validation of behavioral hardware descriptions," Ph.D. dissertation, University of Massachusetts Amherst, 2003. 被引量:1
  • 10Q.-S. Zhang and I. G. Harris, "A domain coverage metric for the validation of behavioral vhdl descriptions," in Proc. of International Test Conference (ITC'00), Atlantic, 2000, pp. 302-308. 被引量:1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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