期刊文献+

基于SystemC的功能模型的建模和验证技术研究 被引量:2

The Function Modeling Based on the SystemC and the Research of the Verification Technolofy
在线阅读 下载PDF
导出
摘要 近年来,FPGA(Field Programmable Gate Array)设计验证技术成了当前的研究热点,设计的可靠性影响着产品的可靠性,因此验证工作变得尤为重要。但是随着产品更新换代速度的加快,传统的验证方法的停滞不前使得验证面临着严峻的挑战,因此鉴于现在验证的瓶颈,提出一种高效的验证方法,即在DUT(Design Under Test)实现之前先进行功能模型的编写,经过验证后重用做参考模型,能有效解决传统验证所面临的问题,提高了验证效率和准确率。 Nowadays,the technology of the design and verification of FPGA has become the hotspost of todays' research.The reliability of the design infulence the reliability of the production.Therefore the study of verification become quite important.As the fast speed of the update of the production.The stagnant development of the traditional method of verification makes the verification face with the austere challenge.So be based with the present choke point,we put forward a high-efficiency methods for verification.That is write the function model before the implement of DUT(Design Under Test).After the verifying to the function model,it can be reused as the reference model.This method can deal with the problem that the traditional verification was faced with.It also enhance the efficiency and the accuracy rate of the verification.
出处 《电子质量》 2016年第3期70-79,共10页 Electronics Quality
关键词 SYSTEM C 功能模型 图像处理 参考模型 验证 System C function model image processing reference model verification
  • 相关文献

参考文献7

  • 1吕欣欣,刘淑芬.FPGA通用验证平台建立方法研究[J].微电子学与计算机,2010,27(5):46-49. 被引量:12
  • 2Verification.Design & Test of Computers,2007,12(8): 112- 122.
  • 3Open SystemC Initiative,SystemC 2.User Guider[EB/OC].
  • 4李挥,陈曦.SystemC电子系统级设计[M].北京:科学出版社,2010.
  • 5http://www.SystemC.org.
  • 6周宁.基于FPGA和DSP的图像处理技术研究[D].西安:西安电子科技大学,2013.
  • 7Tang W,Wang L,Lombardi F.A Defect/Error-Tolerant N- anosystem Architecture for DSP[J].ACM Journal on Em- erging Technologies in Computer Systems2009,5(4):2474- 2479.

二级参考文献9

  • 1王旭姣,梁利平.一种基于事务的IP功能验证环境[J].微电子学与计算机,2007,24(7):27-30. 被引量:3
  • 2Janick Bergeron, Andrew Nightingale. Verification methodology manual for system verilog[ M]. New York: Springer Science + Business Media, Inc. 2006.
  • 3Synopsys, Inc. Reference verification methodology user guide version 8.6 [EB/OL]. [2008- 03- 18]. http:// www. synopsys.com/.
  • 4Mark Glasser. Advanced verification methodology cookbook version 2.0[ EB/OL ]. [ 2006 - 07 - 24 ]. Mentor Graphics Corporation. http://www. mentor. com/.
  • 5Cadence Design Systems, Inc. The unified verification methodology white paper [ EB/OL ]. [ 2005 - 02 - 01 ]. http://www. cadence. com/.
  • 6James Colgan. Open verification methodology relieves inefficiencies[ EB/OL]. [ 2007 - 09 - 07 ]. http://electonicdesign. com/Articles.
  • 7Tony Tsai. Techniques for selective reuse of verification components in hierarchical verification of large designs [ C]//SNUG(Synopsys Users Group). San Jose, 2008.
  • 8Bemd Stohr, Michael Simmons, Joachim Geishauser. FlexBench: reuse of verification IP to increase productivity[C]// Proceedings of the 2002 Design, Automation and Test in Europe Conference and Exhibition. Germary, 2002.
  • 9Jiri Gaisler, Edvin Catovic, Marko Isomaki, et al. GRLIB IP core user's manual version/. 0.19[EB/OL]. [2008 - 10 - 11 ]. http://www.gaisler.com/.

共引文献13

同被引文献8

引证文献2

二级引证文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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