| 基于VMM的SATA控制器功能验证 |
| |
| 引用本文： | 林柏良,易凡,黄启俊,常胜.基于VMM的SATA控制器功能验证[J].武汉大学学报(理学版),2013,59(3):223-227. |
| |
| 作者姓名： | 林柏良 易凡 黄启俊 常胜 |
| |
| 作者单位： | 武汉大学物理科学与技术学院,湖北武汉,430072 |
| |
| 基金项目： | 中国海思半导体有限公司视频监控项目 |
| |
| 摘 要： | 针对专用集成电路(ASIC)设计中功能验证的效率和完备性问题,以验证方法学手册(VMM)为基础搭建了串行高级技术附件(SATA)控制器分层式验证平台.验证组件的实现大量重用验证知识产权核(VIP),在采用随机激励的基础上以覆盖率统计驱动验证的过程,根据SATA控制器的功能设计记分牌进行结果的自动化比对.实验结果表明,这些方法提高了功能验证的效率,保证了验证的完备性,最终功能覆盖率达到98.25%.
|
| 关 键 词： | 验证方法学手册 验证平台 串行高级技术附件 验证知识产权核 |
The Construction of SATA Verification Platform Based on VMM |
| |
| LIN Bailiang,YI Fan,HUANG Qijun,CHANG Sheng.The Construction of SATA Verification Platform Based on VMM[J].JOurnal of Wuhan University:Natural Science Edition,2013,59(3):223-227. |
| |
| Authors: | LIN Bailiang YI Fan HUANG Qijun CHANG Sheng |
| |
| Institution: | (School of Physics and Technology,Wuhan University,Wuhan 430072,Hubei,China) |
| |
| Abstract: | |
| |
| Keywords: | verification methodology manual verification platform serial advanced technology attachment verification intellectual property |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
