期刊文献+

VLSI设计中一种新型的功能验证方法 被引量:3

A New Type of Function Verification Ways in the VLSI Design
下载PDF
导出
摘要 本文在研究了传统的VLSI设计中采用的功能验证方法后,分析了各种方法的特点和不足之处。提出了一种新型的适合于大规模集成电路功能验证的新方法,详细介绍了这种功能验证方法的度量进度机制和验证完备性判断依据,并给出了这种新方法的操作流程和关键点。 This article has studied the function verification method which in the traditional VLSI design uses,has analyzed each method characteristic and the deficiency.Proposed one kind of new method suiting to the large scale integrated circuit function verification, and introduced this kind of function verification method measure progress mechanism and the confirmation completeness judgement in details, besides that it has produced this new method operation flow and the key point.
作者 任宇 王以伍
出处 《微计算机信息》 北大核心 2006年第12Z期285-287,共3页 Control & Automation
基金 国家863高技术项目资助(2004AA203068)
关键词 功能验证 VLSI ASIC 芯片 Function Verification,VLSI,ASIC,Chip
  • 相关文献

参考文献4

  • 1M.Bartley, D.Galpin and T. Blackmore,"A Comparison of Three Verification Techniques: Directed Testing, Pseudo-Random Testing and Property Checking", Proc. Intl. Design Automation Conference(DAC-02), pp. 819-823.
  • 2James M. Lee, "Assertion Based Verificalaon ,www.jmlzone.com/ABV.PDF.
  • 3J. A. Abraham, "ntroduction to Design Verification", UT Austin,ECE Department EE 360R, Fall 2003.
  • 4须自明,刘战,王国章,于宗光.各种验证技术在SoC设计中的应用[J].微计算机信息,2006(01Z):120-121. 被引量:12

二级参考文献6

  • 1赵念强,鲍可进,申屠浩.基于Soc单片机C8051F的码头供给监控系统[J].微计算机信息,2005,21(3):70-71. 被引量:16
  • 2Yervant Zorian,Sujit Dey,Michael J.Rodgers,Test of Future SoC
  • 3By SystemC Organization 2002 SystemC Version2.0 User Guide
  • 4Michael Keating,Pierre Bricaud.Reuse Methodology Manual for SoC Designs.Kluwer Academic Publisher,1998.
  • 5Synplify Pro(r)User Guide October 2002.
  • 6Verisity Design,Inc.e Language Reference Manual

共引文献11

同被引文献6

引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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