期刊文献+

利用VMM搭建NAND Flash控制器验证平台 被引量:1

下载PDF
导出
摘要 本文以AMBA AHB总线上的从设备NAND Flash控制器为例,简要介绍了VMM验证方法学,并利用VMM验证方法学搭建了NAND Flash控制器验证平台,在此基础上对控制器进行了全面的前端功能验证。
出处 《广东通信技术》 2011年第6期74-77,共4页 Guangdong Communication Technology
  • 相关文献

参考文献4

  • 1[美]克里斯·斯皮尔著,张春、麦宋平、赵益新译.SystemVerilog验证测试平台编写指南.北京:科学出版社,2006.
  • 2夏宇闻等译.systemVeriJog验证方法学[M].北京:北京航空航天大学出版社,2007.
  • 3Synposys Inc. System Verilog VMM Guide Version 40-1-052-SSG-005 2006.
  • 4孙立宏,洪一.基于VMM统一验证平台的处理器芯片功能验证[J].火控雷达技术,2010,39(1):45-48. 被引量:1

二级参考文献10

  • 1徐伟俊,杨鑫,陈先勇,夏宇闻.针对功能覆盖率的验证过程[J].中国集成电路,2007,16(7):58-62. 被引量:7
  • 2Janick Bergeron, Eduard Cerny, Alan Hunter,等.System Verilog验证方法学[M].夏宇闻,杨雷,陈先勇,等译.北京:北京航空航天大学出版社,2007.
  • 3A. Benso, A. Bosio, S. Di Carlo etc. A Functional Verification based Fault Injection Environment [ C ]. 22nd IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2007,114 - 122.
  • 4Yang Guo, etc. Coverage Driven Test Generation Framework for RTL Functional Verification [J]. Computer -Aided Design and Computer Graphics, 2007,321 - 326.
  • 5Yong Zhi Yan, Hong Wang, Zhi Jia Yang. Research of Design and Verification of FieldBus Communication Control ASIC FBC100 - H1 [ C]. ASICON '07. 7th International Conference on ASIC, 2007,882 - 885.
  • 6Srikanth,Vijayaraghavan,Meyyappan等著,陈俊杰等译.System Verilog Assertions应用指南[M].北京:清华大学出版社,2006,5-6.
  • 7Das, Mohanty, Dasgupta. Synthesis of System Verilog Assertions [ J ] Design, Automation and Test in Europe, 2006. DATE '06. Proceedings, 2006,1 - 6.
  • 8Mark Glasser,Adam Rose,Tom Fitzpatrick等著,王欣等译.高级验证方法学[M].电子科技大学出版社,2007,127-128.
  • 9尹光,周顺伟,石广源.一种16位CPU IP核的功能验证方法[J].辽宁大学学报(自然科学版),2008,35(3):200-203. 被引量:1
  • 10江龙,马琪.基于事务的功能验证方法及其在设计验证中的运用[J].计算机与现代化,2008(10):110-112. 被引量:2

同被引文献9

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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