期刊文献+

基于SynoTPys VMM方法的FPGA验证技术 被引量:3

FPGA verification technology based on SynoTPys VMM
下载PDF
导出
摘要 针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性。从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于SynoTPysVMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同时提高了验证效率。 Field Programmable Gate Array (FPGA) designs should be thoroughly verified in order to enhance the reliability of corresponding product, with the emerging importance of programmable device in the field of implementation of digital system. The authors analyzed the methods for quality hardware design implemented on FPGA, depicted the trends of verification in terms of method and methodology, as well as conducted a comparison of mainstream verification methodologies. Based on Synopsys Verification Methodology Manual (VMM), the authors proposed and implemented a layered generalpurpose verification technique that has been utilized to construct verification platform in application. The experimental results show that this technique can not only maintain the generability of platform but also improve the efficiency of verification.
出处 《计算机应用》 CSCD 北大核心 2009年第9期2527-2529,2533,共4页 journal of Computer Applications
关键词 现场可编程门阵列 硬件设计 VMM 验证平台 验证方法学 Field Programmable Gate Array (FPGA) hardware design Verification Methodology Manual (VMM) verification platform verification methodology
  • 相关文献

参考文献9

  • 1BERGERON J, NIGHTINGALE A. Verification methodology manual for SystemVerilog[ M]. New York: Springer-Verlag, 2006. 被引量:1
  • 2BERGERON J. Writing testbenches using SystemVerilog [ M]. New York: Springer-Verlag, 2006. 被引量:1
  • 3Synopsys, Inc. Reference verification methodology user guide version 8.6 [ EB/OL]. [2009 -02 -20]. http://www, synopsys, com/. 被引量:1
  • 4GLASSER M. Advanced verification methodology cookbook version 2.0[ EB/OL]. (2006 -07 -24) [2009 -02 - 10]. http://www. mentor, com/. 被引量:1
  • 5Cadence Design Systems, Inc. The unified verification methodology white paper [ EB/OL]. ( 2005 - 02 - 01 ) [ 2009 - 01 - 05 ]. http://www, cadence, com/. 被引量:1
  • 6COLGAN J. Open verification methodology relieves inefficiencies [ EB/OL]. (2007 - 09 - 07) [ 2009 - 01 - 10]. http://electronicdesign, com/Articles. 被引量:1
  • 7TSAI T. Techniques for selective reuse of verification components in hierarchical verification of large designs [ C]//SNUG: Synopsys Users Group. San Jose: [ s. n. ], 2008:97 - 106. 被引量:1
  • 8GAISLER J, CATOVIC E, ISOMAKI M. GRLIB IP Core user's manual version 1.0.19 [ S]. Sweden: Gaisler Research, 2008. 被引量:1
  • 9STOHR B, SIMMONS M, GEISHAUSER J. FlexBeneh: Reuse of verification IP to increase productivity [ C]// Proceedings of the 2002 Design, Automation and Test in Europe Conference and Exhibition. Washington, DC: IEEE Computer Society, 2002:35-41. 被引量:1

同被引文献20

引证文献3

二级引证文献24

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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