期刊文献+

基于System Verilog的可重用验证平台 被引量:7

The design and implementation of a reusable verification platform based on System Verilog
下载PDF
导出
摘要 采用System Verilog语言设计了一种具有层次化结构的可重用验证平台,该平台能够产生各种随机、定向、错误测试向量,并提供功能覆盖率计算。将验证平台在Synopsys公司的VCS仿真工具上运行,并应用到包交换芯片的仿真验证中。仿真结果显示,新设计的验证平台能通过修改随机信号约束条件和产生随机信号的权重值,使芯片的功能覆盖率达到100%。 Design a reusable verification platform with a hierarchical structure employing system verilog language. This verifica-tion platform can generate targeted, random, and error test vectors. The platform also facilitates the computing of functional cover-age. Running this platform on VCS tools of Synopsys Corporation, meanwhile using it to simulate packet switch chip. The result shows that the functional coverage of chip can achieve 100% through revising restraint condition of random signal and weight value using to generate random signal.
出处 《电子技术应用》 北大核心 2013年第5期128-131,共4页 Application of Electronic Technique
基金 陕西省13115科技创新工程重大科技专项项目(2009ZDKG-43)
关键词 SYSTEM VERILOG 验证 层次化 可重用 System Verilog verification hierarchical platform reusability
  • 相关文献

参考文献8

二级参考文献31

共引文献21

同被引文献37

  • 1李迎,王帮峰,孙亚飞,蒋雅娜.MATLAB与VC++接口通信[J].计算机测量与控制,2004,12(6):587-590. 被引量:8
  • 2田耕,胡彬,徐文波,等.XilinxISEDesignSuite10.XFPGA开发指南[M].北京:人民邮电出版社,2008.
  • 3Aeroflex Gaisler.LEON/GRLIB configuration and development guide[EB/OL].(2014-04)[2014-05-08].http ://galsler. com/products/grlib/guide .pdf.
  • 4Xlinx中文官方网址[EB/OL].(2014)[2014].http://china.xilinx.com/products/boards-and-kits/1-2BIW6U.htm.
  • 5SPARC International.The SPARC architecture manual, version 8 [ M ]. Prentice Hail, 1992.
  • 6Aeroflex Gaisler.GRLIB IP library user's manual version 1.3.0- B4133 [ EB/OL]. (2013 -01 ) [ 2014 - 05 ]. http ://gaisler. com.
  • 7Aeroflex Gaisler.GRLIB IP core user's manual version 1.3.0- B4133 [EB/OL]. (2013 -07)[2014-05 ]. http ://gaisler. com.
  • 8王浩鹏.二维图形的裁剪算法研究与改进[D].西安:西安电子科技大学,2011.
  • 9SULAND I E, HODGMAN G W.Reentrant polygon clipping[J]. Communication of ACM, 1974,17(1) : 32-42.
  • 10IEEE.IEEE standard for SystemVerilog-unified hardware design, specification, and verification language-IEEE 1800- 2009 [ S ]. IEEE, 2009.

引证文献7

二级引证文献15

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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