期刊文献+

基于SystemVerilog可重用测试平台的实现 被引量:11

The implementation of a reusable testbench based on System Verilog
下载PDF
导出
摘要 对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台。将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%。实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高。 For small and medium-sized design, the traditional verification has low efficiency and poor reusability, while the advanced methodology-based verification is a bit complicated to build testbench, and the verification flow is not very flexible. The implementation of a reusable testbench is presented in this paper. The testbench is used to verify the IP core of ARINCg29 transceiver, and it is implemented by employing the SystemVerilog language, designing the hierarchical structure, improving the ar- chitecture of project, and adopting key technology such as virtual interface and callback. With the assertions and coverage-drlven verification technology, the functional verification is completed by running different testcases on this testbench, both code coverage and functional coverage are 100%. The practice shows that the testbench is reusable, easy to operate, and efficient.
出处 《电子技术应用》 北大核心 2015年第2期61-64,共4页 Application of Electronic Technique
基金 国家自然科学基金(U1333120) 中央高校基本科研基金(3122014D046)
关键词 验证 SYSTEMVERILOG 测试平台 可重用 verification SystemVerilog testbench reusable
  • 相关文献

参考文献8

二级参考文献19

  • 1朱良,杜承烈.通用航空总线测试与分析软件的设计和实现[J].微电子学与计算机,2007,24(7):125-127. 被引量:15
  • 2Rakish Rashinkar. System-on-a-chip Verification Methodology and Techniques [ M ]. 2005.
  • 3Synopsys, Inc. Verification Methodology Manual Tutorial [ Z ]. 2006.06.
  • 4Srikanth Vijayaraghavan, Meyyappan Ramanathan. A Practical Guide for SystemVerilug Assertions[ M]. 2006.04.
  • 5Synopsys, Inc. VMM Register Abstraction Layer User Guide [ M ].电子设计应用.2008.05.
  • 6马宁,李玲,田泽,等.ARINC659总线协议芯片的仿真验证[J].计算机技与发展,2010,20(1):205-208.
  • 71张春,麦宋平,赵益新.SystemVerilog验证[M].北京:科学出版社,2009.
  • 8KEAVENEY M, MCMAHON A, O'KEEFFE N, et. al. The development of advanced verification environments using system verilog[C]. The 16th Irish System and Signals Conference. ISSC2008, Galway, Ireland, 2008.
  • 9闫沫,张媛.基于SystemVerilog语言的设计验证技术[J].现代电子技术,2008,31(6):8-11. 被引量:14
  • 10褚晓滨,陆铁军,宗宇.结合断言与覆盖率为导向的验证方法[J].微电子学与计算机,2008,25(11):39-42. 被引量:12

共引文献25

同被引文献57

引证文献11

二级引证文献18

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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