电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
本文首先介绍RVM验证方法学和覆盖率驱动技术，然后详细分析如何使用结合覆盖率驱动技术的RVM验证方法学对SOC(System On Chip)进行完备的功能验证, 最后探讨如何利用此方法学提高验证的效率。
关键词：
SOC, 被验证模块，功能模块，RVM验证方法学, RVM验证平台，覆盖率驱动
随着SOC 设计复杂度的不断提高和设计规模的不断增大，验证已成为SOC 设计的瓶颈。由于验证的不充分，流片后的芯片中可能存在致命缺陷，从而增加了设计的风险和设计重流片的成本。因此验证越来越受到重视[5]。
在验证过程中，验证方法学扮演越来越重要的角色，高效的验证方法学可以提高验证的
效率，加快验证的进程。传统的验证方法学对于验证复杂的设计已经显得力不从心，如何用最少的时间最少的物力去尽可能多的发现设计中存在的缺陷，需要引入新的验证方法学。目前，RVM（Reference Verification Methodology）验证方法学脱颖而出，它是基于分层结构验证方法学，通过将验证平台分成功能不同的几个层面，提高验证平台的重用性和抽象层次，更好的支持了激励随机产生，结果自动检查，覆盖率驱动等技术。覆盖率是验证的核心。通过对覆盖率分析，才能确定验证平台是否对设计进行了完备的验证。覆盖率达到了我们预期的目标是验证是否完成的重要量化标准之一。覆盖率驱动技术是指以覆盖率的提高为目的来引导编写高效的测试例和测试平台。
因此结合覆盖率驱动技术的RVM 验证方法学应用于SOC 的验证过程中，将大大提高验证的效率。
关键词：
SOC, 被验证模块，功能模块，RVM验证方法学, RVM验证平台，覆盖率驱动
随着SOC 设计复杂度的不断提高和设计规模的不断增大，验证已成为SOC 设计的瓶颈。由于验证的不充分，流片后的芯片中可能存在致命缺陷，从而增加了设计的风险和设计重流片的成本。因此验证越来越受到重视[5]。
在验证过程中，验证方法学扮演越来越重要的角色，高效的验证方法学可以提高验证的
效率，加快验证的进程。传统的验证方法学对于验证复杂的设计已经显得力不从心，如何用最少的时间最少的物力去尽可能多的发现设计中存在的缺陷，需要引入新的验证方法学。目前，RVM（Reference Verification Methodology）验证方法学脱颖而出，它是基于分层结构验证方法学，通过将验证平台分成功能不同的几个层面，提高验证平台的重用性和抽象层次，更好的支持了激励随机产生，结果自动检查，覆盖率驱动等技术。覆盖率是验证的核心。通过对覆盖率分析，才能确定验证平台是否对设计进行了完备的验证。覆盖率达到了我们预期的目标是验证是否完成的重要量化标准之一。覆盖率驱动技术是指以覆盖率的提高为目的来引导编写高效的测试例和测试平台。
因此结合覆盖率驱动技术的RVM 验证方法学应用于SOC 的验证过程中，将大大提高验证的效率。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- SoC设计中的验证技术有哪些 12次下载
- 一种基于贝叶斯网络的随机测试方法在Cache一致性验证中的设计与实现 2次下载
- 参数化UVM IP验证环境（上） 6次下载
- 龙芯2号配套PCI Bridge的功能覆盖率验证 28次下载
- 基于覆盖率的功能验证方法 22次下载
- 基于SystemVerilog语言的验证方法学介绍 52次下载
- 基于ARM9的AFDX-ES SoC验证平台的构建与实现 56次下载
- OVM实现了可重用的验证平台 7次下载
- 一种基于事务的SoC功能验证方法 8次下载
- 针对功能覆盖率的验证过程 13次下载
- SoC验证环境搭建方法的研究 22次下载
- 在SoC设计中采用ESL设计和验证方法 33次下载
- SoC芯片验证技术的研究 24次下载
- 一种数模混合SoC 设计协同仿真的验证方法 19次下载
- 一种数模混合SoC 设计协同仿真的验证方法 5次下载
- 怎么用Vivado做覆盖率分析 475次阅读
- 如何实现一个验证MCU指令 491次阅读
- fpga验证及其在soc验证中的作用有哪些 597次阅读
- 移动SoC的时钟验证 435次阅读
- 验证组件配置参数 330次阅读
- 形式验证入门之基本概念和流程 1178次阅读
- 基于基带处理芯片的应用RVM验证方法的注意事项与技巧 1967次阅读
- 基于VMM构建的验证平台在AXI总线协议SoC中的应用研究 1152次阅读
- 基于DPI-C接口的UVM验证平台设计与实现介绍 6134次阅读
- SoC设计的可扩展验证解决方案 746次阅读
- 基于片上系统的SOC设计验证方案 1370次阅读
- IP开发时如何考虑复用覆盖率 2260次阅读
- 基于System Verilog的可重用验证平台设计及验证结果分析 2380次阅读
- 基于VMM验证方法学的MCU验证环境 2931次阅读
- 基于OVM验证平台的IP芯片验证 2633次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论