利用VMM搭建NAND Flash控制器验证平台
被引量：1
摘要
本文以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刘旭恒,吴秀龙,刘新宁,康军.基于VMM的外部存储接口模块的验证平台搭建[J].电子技术（上海）,2010(9):61-62. 被引量：1
-
2Lu Jianping, Guo Yudong, Wang Xiaorui, et al. Based on collaborative VMM virtual machine execution environment dynamic allocation model of computer application,2012,32(3):831-834.
-
3Yi Qiuping,Liu Jian,martial arts. The access verified protection security VMM formal prototype system is designed and realized. Computer science,2010,37( 12): 85-90.
-
4Zhang Jisheng, Chen Xianglan, Zhou Xuehal. VMM Guest OS process management tool design and Realization of the computer application and software, 2010,27(9): 163 - 165.
-
5肖庚亮.基于VMM的SOC可重用验证平台设计[J].科学技术与工程,2010,10(5):1149-1152. 被引量：3
-
6李磊,罗胜钦.基于VMM方法的SOC集成验证[J].电子与封装,2011,11(1):18-21. 被引量：8
-
7章林柯,王力,王艳武.基于VMM方法学的系统级软硬件协同仿真验证[J].微型机与应用,2011,30(12):81-84. 被引量：1
-
8李博,李建欣,胡春明,沃天宇,怀进鹏.基于VMM层系统调用分析的软件完整性验证[J].计算机研究与发展,2011,48(8):1438-1446. 被引量：13
-
9周天阳,朱俊虎,王清贤.基于VMM的Rootkit及其检测技术研究[J].计算机科学,2011,38(12):77-81. 被引量：9
-
1肖建.在SOC中实现Nand Flash控制器的方法[J].电工技术,2004(8):30-31. 被引量：1
-
2王晖.基于RS编解码技术的Flash控制器SoC设计研究[J].科技传播,2012,4(14):210-211. 被引量：1
-
3陈小莹,于宗光,吴瑞祥,李殿英,董杰,张梁坤.一种改进的低功耗NAND Flash控制器设计[J].微处理机,2015,36(6):1-5.
-
4张锐,张亚棣,刘文.高速大容量存储系统的研究和设计[J].航空计算技术,2008,38(4):121-124. 被引量：16
-
5徐永刚,任国强,吴钦章,孙健.NAND Flash图像记录系统底层写入控制技术[J].光电工程,2012,39(9):138-144. 被引量：3
-
6于乐,王嘉良.易于移植的FPGA在线更新控制器设计[J].航空电子技术,2015,46(4):47-50. 被引量：7
-
7刘俊.基于FPGA的FLASH控制器的设计[J].电子技术与软件工程,2016(23):125-126. 被引量：3
-
8邹晨,高云.基于SoPC的大容量存储控制器的设计与实现[J].航空计算技术,2014,44(5):130-134.
-
9刘晙.基于单图像超分辨率的约束随机森林算法[J].计算机工程与设计,2017,38(4):970-975. 被引量：2
-
10李槐生.基于FPGA的NAND FLASH控制器的设计[J].科学之友（中）,2011(11):146-147. 被引量：5
