期刊文献+

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

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

同被引文献59

引证文献12

二级引证文献29

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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