期刊文献+

基于功能覆盖率的MAC的UVM验证 被引量:3

UVM Verification of MAC Based on Functional Coverage
下载PDF
导出
摘要 论文基于UVM验证方法学,以及覆盖率驱动的芯片验证指导思想,搭建并分析了高度可重用的以太网控制器IP的验证平台。为了提高验证效率,论文对MAC的工作流程进行了研究,对其功能点进行了划分,针对性地编写了测试用例。在测试用例的驱动下,对MAC的数据收发功能进行了全流程的仿真验证。在大规模随机测试用例和定向测试用例的共同作用下,加快了验证所需要的时间,节省了仿真所需的计算机资源,达到了功能覆盖率100%的目标。 Based on UVM verification methodologies and coverage-driven chip verification guidelines,this article builds and analyzes a highly reusable Ethernet controller IP verification platform.In order to improve the verification efficiency,this paper stud⁃ies the MAC's workflow,divides its function points,and writes test cases targeted.Driven by test cases,the entire process of MAC data transmission and reception is simulated and verified.Under the combined effect of large-scale random test cases and directed test cases,the time required for verification is accelerated,the computer resources required for simulation are saved,and the goal of 100%functional coverage is achieved.
作者 徐梓文 郭桂良 XU Ziwen;GUO Guiliang(University of Chinese Academy of Sciences,Beijing 100049;Institute of Microelectronics of Chinese Academy of Sciences,Beijing 100029)
出处 《计算机与数字工程》 2021年第11期2282-2286,共5页 Computer & Digital Engineering
基金 国家重点研发计划(编号:2017YFB0503200)资助。
关键词 UVM 验证 以太网 覆盖率 UVM verification MAC coverage
  • 相关文献

参考文献10

二级参考文献31

  • 1谈笑,王小力.一种基于UVM的模块级可重用随机化验证平台构建方法[J].微电子学与计算机,2015,32(3):67-72. 被引量:10
  • 2周虹.基于I^2S音频接口模块的FPGA设计与应用[J].现代电子技术,2007,30(22):127-129. 被引量:3
  • 3Fong Pong,Michel Dubois.Verification techniques for cache coherence protocols[J].ACM Computing Surveys (CSUR).1997(1)
  • 4Ping Yeung,Larsen K.Practical Assertion-based Formal Verification for SoC Designs[].System-on-Chip.2005
  • 5Stuart Sutherland.The Hardware Description and Verifica-tion Language. http://www.sutherland-hdl.com . 2003
  • 6Bergeron J,Cerny E,Hunter A,et al.Verification Methodology Manual for SystemVerilog[]..2005
  • 7Mintz M,Ekendahl R.Hardware Verification with SystemVerilog[]..2007
  • 8Spear C.SystemVerilog for Verification[]..2006
  • 9Sprott J,Gray J L,Dhamanwala S.Using the New Features in VMM1.1for Multi-Stream Scenarios[].Verification NowConf.2009
  • 10Lam W K.Hardware Design Verification Simulation and Formal Method-based Approaches[]..2005

共引文献30

同被引文献24

引证文献3

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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