期刊文献+

FPGA通用验证平台建立方法研究 被引量:11

Study of Establishing a General Purpose Verification Platform for FPGA
下载PDF
导出
摘要 现场可编程门阵列(Field Programmable Gate Array,FPGA)的设计可靠性直接影响产品的可靠性,因此必须对FPGA设计进行高效和充分的验证.对传统功能仿真验证进行了分析,从验证方法和方法学角度阐述了验证平台的发展趋势,提出并实现了一种层次化的通用验证平台,利用该平台对两个被测设计(Design Under Test,DUT)进行验证.验证结果表明,该方法建立起的验证平台具备一定的通用性,可有效提高验证覆盖率和验证效率. The reliability of circuitry implemented on FPGAs (Field Programmable Gate Arrays) affects the critical mission life directly. FPGAs design should be thoroughly verified in order to meet the requirement of high reliability. This paper analyzed traditional function verification and described the development of verification techniques and methodologies. We proposed and implemented a layered general purpose verification platform which is utilized to verify two DUT. The verification results exhibit that our platform is suitable for diverse applications and enhances the coverage and efficiency.
出处 《微电子学与计算机》 CSCD 北大核心 2010年第5期46-49,共4页 Microelectronics & Computer
关键词 FPGA 验证平台 验证方法学 通用 FPGA verification platform verification methodology general purpose
  • 相关文献

参考文献9

  • 1Janick Bergeron, Andrew Nightingale. Verification methodology manual for system verilog[ M]. New York: Springer Science + Business Media, Inc. 2006.
  • 2王旭姣,梁利平.一种基于事务的IP功能验证环境[J].微电子学与计算机,2007,24(7):27-30. 被引量:3
  • 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/.

二级参考文献4

共引文献2

同被引文献53

  • 1刘中,李成贵.交换式以太网在航空电子系统中的应用[J].兵工自动化,2006,25(1):16-17. 被引量:6
  • 2樊庆林,吴建国.提高软件测试效率的方法研究[J].计算机技术与发展,2006,16(10):52-54. 被引量:19
  • 3高慧英.软件测试管理及其工程应用[J].计算机与数字工程,2007,35(1):147-149. 被引量:9
  • 4夏宇闻,甘伟,译.VerilogHDL入门[M].北京:北京航空航天大学出版社,2008.
  • 5PattonR 周予滨 译.软件测试[M].北京:机械工业出版社,2002..
  • 6李挥,陈曦.SystemC电子系统级设计[M].北京:科学出版社,2010.
  • 7范勇,兰景英,李绘卓.软件测试技术[M].西安:西安电子科技大学出版社,2009.
  • 8Kee W H. Future implementation and integration of agile me- thods in software development and testing [ M ]. [ s. 1. ] :Mo- torola Global Software Group Malaysia ,2006.
  • 9Tamura Y,Yamada S. A software testing-management tool for distributed development environment[ C ]//Proc of ICIM 2004. Is. 1. ] :[s.n. ] ,2004.
  • 10Salima T M S U, Askarunisha A, Ramaraj N. Enhancing the efficiency of regression testing through intelligent agents [ C]//Proceedings of the international conference on compu- tational intelligence and multimedia applications. Sivakasi: IEEE, 2007 : 103-108.

引证文献11

二级引证文献24

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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