期刊文献+

基于SystemVerilog的验证平台建模技术 被引量:2

Modeling Technology of Verification Platform Based on SystemVerilog
下载PDF
导出
摘要 验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了SystemVerilog在进行同步FIFO验证平台建模时所采用的面向对象思想、多线程、接口、邮箱、时钟块等新技术以及建立验证平台的一般原则和技巧,实现了分层设计和验证过程中的自动监测。 Difficulty in modeling FIFO verification platform is how to reduce the timing race risks between design and verification,and how to reuse the platform and automatic monitor of the verification process.SystemVerilog breakthrough the traditional limits in modeling verification platform.It can promote the efficiency of testing chips extremely and reduce the design risks.The thought of Object Oriented Programming(OOP) in modeling FIFO verification platform and the new technologies such as multiple threads, interface, mailbox, clocking block and the general principles, skills in modeling verification platform are introduced. Hierarchical design and automatic monitoring are realized.
作者 闫沫
出处 《现代电子技术》 2009年第18期10-12,16,共4页 Modern Electronics Technique
关键词 SYSTEMVERILOG 面向对象 多线程 接口 邮箱 时钟块 SystemVerilog object oriented programming multiple threads interface mailbox clocking block
  • 相关文献

参考文献10

  • 1Janick Bergeron,Eduard Cerny,Alan Hunter,et al.SystemVerilog验证方法学[M].夏宇闻,杨雷,陈先勇,等译.北京:北京航空航天大学出版社,2007.
  • 2常勇,申敏.一种基于事务的SoC功能验证方法[J].微计算机信息,2008,24(17):137-139. 被引量:3
  • 3闫沫,张媛.基于SystemVerilog语言的设计验证技术[J].现代电子技术,2008,31(6):8-11. 被引量:14
  • 4Stuart Sutherland.SystemVerilog,Modelsim and You[EB/OL].http://www.Sutherland-hdl.com,2004.
  • 5闫沫,刘钊远.System Verilog语言在数字系统设计中的应用[J].微电子学与计算机,2008,25(6):127-131. 被引量:6
  • 6Stuart Sutherland.The Hardware Description and Verificaion Language[EB/OL].http://www.sutherland-hdl.com,2003.
  • 7SystemVerilog 3.1a Language Reference Manual Accellera's Extensions to Verilog[M].Accellera,Napa,California,2004.
  • 8Stuart Sutherland,Simon Davidmann,Peter Flake.SystemVerilog for Design[M].Springer,2006.
  • 9Chris Spear.SystemVerilog for Verification[M].Springer,2006.
  • 10Janick Bergeron.Writing Testbenches using SystemVerilog[M].Springer,2005.

二级参考文献18

共引文献23

同被引文献15

  • 1罗登富,赵建明.基于VMM的ASIC建模验证[J].科技经济市场,2008(10):3-5. 被引量:1
  • 2解咏梅,张珩,张福新.基于覆盖率的功能验证方法[J].计算机应用研究,2005,22(1):23-24. 被引量:8
  • 3胡伟武,陈云霁,肖俊华,等.计算机体系结构[M].北京:清华大学出版社,2011:163-178.
  • 4宋风龙.众核体系结构中高性能片上存储系统研究[D].北京:中国科学院计算技术研究所,2008.
  • 5ASIC.The user guide[EB/OL].[2008-10-14].http://www.asic- world.com.
  • 6李海忠.设计文档[z].北京:中国科学院计算技术研究所先进微系统组,2010.
  • 7林瞬婷.面向多处理器核SOC软硬件协同验证平台[D].杭州:浙江大学,2010.
  • 8Fine S,Ziv A.Coverage directed test generation for func- tional verification using Bayesian networks[C]//Proceed- ings of the 40th Conference on Design Automation,2003.
  • 9Synopsys.Coverage technology user guide[EB/OL]. [2011-04-02].http.//solvent.synopsys.com.
  • 10夏宇闻,陈先勇.SyetemVerilog验征方法学[M].北京:北京航空航天大学出版社,2011.

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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