电子发烧友App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
电子发烧友网>电子资料下载>电子论文>网络协议论文>结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用

结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用

2009-09-05 | rar | 131 | 次下载 | 3积分

资料介绍

        本文首先介绍RVM验证方法学和覆盖率驱动技术,然后详细分析如何使用结合覆盖率驱动技术的RVM验证方法学对SOC(System On Chip)进行完备的功能验证, 最后探讨如何利用此方法学提高验证的效率。
关键词:
SOC, 被验证模块,功能模块,RVM验证方法学, RVM验证平台,覆盖率驱动
         随着SOC 设计复杂度的不断提高和设计规模的不断增大,验证已成为SOC 设计的瓶颈。由于验证的不充分,流片后的芯片中可能存在致命缺陷,从而增加了设计的风险和设计重流片的成本。因此验证越来越受到重视[5]。
在验证过程中,验证方法学扮演越来越重要的角色,高效的验证方法学可以提高验证的
效率,加快验证的进程。传统的验证方法学对于验证复杂的设计已经显得力不从心,如何用最少的时间最少的物力去尽可能多的发现设计中存在的缺陷,需要引入新的验证方法学。目前,RVM(Reference Verification Methodology)验证方法学脱颖而出,它是基于分层结构验证方法学,通过将验证平台分成功能不同的几个层面,提高验证平台的重用性和抽象层次,更好的支持了激励随机产生,结果自动检查,覆盖率驱动等技术。覆盖率是验证的核心。通过对覆盖率分析,才能确定验证平台是否对设计进行了完备的验证。覆盖率达到了我们预期的目标是验证是否完成的重要量化标准之一。覆盖率驱动技术是指以覆盖率的提高为目的来引导编写高效的测试例和测试平台。
        因此结合覆盖率驱动技术的RVM 验证方法学应用于SOC 的验证过程中,将大大提高验证的效率。
下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

下载排行

本周

  1. 1DC电源插座图纸
  2. 0.67 MB   |  2次下载  |  免费
  3. 2AN158 GD32VW553 Wi-Fi开发指南
  4. 1.51MB   |  2次下载  |  免费
  5. 3AN148 GD32VW553射频硬件开发指南
  6. 2.07MB   |  1次下载  |  免费
  7. 4AN111-LTC3219用户指南
  8. 84.32KB   |  次下载  |  免费
  9. 5AN153-用于电源系统管理的Linduino
  10. 1.38MB   |  次下载  |  免费
  11. 6AN-283: Σ-Δ型ADC和DAC[中文版]
  12. 677.86KB   |  次下载  |  免费
  13. 7SM2018E 支持可控硅调光线性恒流控制芯片
  14. 402.24 KB  |  次下载  |  免费
  15. 8AN-1308: 电流检测放大器共模阶跃响应
  16. 545.42KB   |  次下载  |  免费

本月

  1. 1ADI高性能电源管理解决方案
  2. 2.43 MB   |  450次下载  |  免费
  3. 2免费开源CC3D飞控资料(电路图&PCB源文件、BOM、
  4. 5.67 MB   |  138次下载  |  1 积分
  5. 3基于STM32单片机智能手环心率计步器体温显示设计
  6. 0.10 MB   |  130次下载  |  免费
  7. 4使用单片机实现七人表决器的程序和仿真资料免费下载
  8. 2.96 MB   |  44次下载  |  免费
  9. 53314A函数发生器维修手册
  10. 16.30 MB   |  31次下载  |  免费
  11. 6美的电磁炉维修手册大全
  12. 1.56 MB   |  24次下载  |  5 积分
  13. 7如何正确测试电源的纹波
  14. 0.36 MB   |  17次下载  |  免费
  15. 8感应笔电路图
  16. 0.06 MB   |  10次下载  |  免费

总榜

  1. 1matlab软件下载入口
  2. 未知  |  935121次下载  |  10 积分
  3. 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
  4. 1.48MB  |  420062次下载  |  10 积分
  5. 3Altium DXP2002下载入口
  6. 未知  |  233088次下载  |  10 积分
  7. 4电路仿真软件multisim 10.0免费下载
  8. 340992  |  191367次下载  |  10 积分
  9. 5十天学会AVR单片机与C语言视频教程 下载
  10. 158M  |  183335次下载  |  10 积分
  11. 6labview8.5下载
  12. 未知  |  81581次下载  |  10 积分
  13. 7Keil工具MDK-Arm免费下载
  14. 0.02 MB  |  73810次下载  |  10 积分
  15. 8LabVIEW 8.6下载
  16. 未知  |  65988次下载  |  10 积分