学位论文 > 优秀研究生学位论文题录展示

基于VMM的硬件验证技术研究及应用

作　者: 李鸿翔
导　师: 张国印
学　校: 哈尔滨工程大学
专　业: 计算机系统结构
关键词: 功能验证 验证平台 验证方法学 多功能车辆总线控制器
分类号: U467
类　型: 硕士论文
年　份: 2010年
下　载: 98次
引　用: 3次
阅　读: 论文下载
 

内容摘要


硬件验证技术已经成为硬件电路设计中的瓶颈,验证在整个产品开发流程中占据的人力资源与时间资源愈加庞大,但验证的效率和可重用性却非常低。因此在产品上市之前,提供高效率可重用的验证平台对产品进行充分的验证是必要的。本文以多功能车辆总线控制器MVBC的验证项目为引导,研究基于验证方法学VMM的硬件验证技术,具有理论和实际的重要意义。本文深入研究了三种基于仿真的验证技术(基于事务的验证技术、覆盖率驱动的验证技术以及基于断言的验证技术),分析其技术特点,总结其优缺点;然后在验证方法学的指导下,将三种技术融合在层次化的验证平台中;其次研究了基于有限状态自动机(FSM)模型化理论,对硬件电路进行FSM建模,从中提取待验证的功能点然后转化为事务级模型,并且基于硬件描述与验证语言SystemVerilog实现该验证平台。最后在验证平台上完成对MVBC中曼彻斯特编解码模块的验证,并在仿真软件VCS上运行,对验证结果的分析表明,该验证平台能够保证较快的验证速度,提高验证的效率,并且保持了层次化验证平台模块化可复用的优点,同时应用FSM模型化理论使得提取的功能覆盖点更为完整。

全文目录


相似论文

  1. 多功能车辆总线控制器MVBC综合验证研究,TP273
  2. 蛋内注射leptin对肉鸡肝脏胆固醇代谢相关基因及microRNA表达的影响,S831
  3. 多层VLAN实现汇接设备快速拓扑、快速接入的方法及平台设计,TP393.1
  4. 禾谷镰刀菌蛋白激酶基因PUF1功能验证,S435.121
  5. 基于OVM的SoC功能验证系统的设计与实现,TN47
  6. EPA网络芯片验证平台的设计与实现,TN407
  7. 基于OVM架构的EPA芯片验证的研究,TN406
  8. 卫星导航SoC设计验证平台的研究与实现,TN47
  9. 一种片上图形加速系统功能验证方法研究,TN47
  10. 基于FPGA的MVB2类设备控制器设计,U285.5
  11. 基于OFDM无线广播系统接收芯片验证平台的设计与实现,TN934
  12. 基于ULPI接口的USB2.0-OTG IP验证方法研究与实现,TN407
  13. 基于SystemVerilog-VMM的仿真环境设计及其应用,TN492
  14. SpaceWire路由IP核设计及验证,TN47
  15. BcBCP1基因对玉米的遗传转化及耐碱性功能验证,S513
  16. 禾谷镰刀菌丝/苏氨酸蛋白激酶SCH9基因的功能研究,S432.44
  17. AVS视频解码芯片功能验证平台的研究与实现,TN919.81
  18. 一个水稻雌雄不育突变基因的精细定位及候选基因的克隆,S511
  19. 基于FPGA的网络协议处理器设计及验证,TN791
  20. 带验证功能的存储体设计与实现,TP333
  21. 基于VMM覆盖率导向验证方法的研究和应用,TN402

中图分类: > 交通运输 > 公路运输 > 汽车工程 > 汽车试验
© 2012 www.xueweilunwen.com