资料介绍
This paper addresses the problem of current SoC functional verification productivity
by describing a means of Mentor’s advanced verification methodology (AVM) based
unified verification platform solution.
The continuing growth of system-on-a-chip (SOC) designs has pressured functional
verification engineers to create new and innovative ways of keeping pace.
Increasingly, complex designs, together with traditional functional verification
methods, have resulted in an extraordinary rise in the time required to complete
verification. It has come to a point where traditional methods are no longer a feasible
means of efficiently completing verification tasks. In an effort to close the
productivity gap between design and functional verification, high-level verification
languages have emerged. Such languages employ advanced techniques, such as
constrained randomization, assertion and functional coverage analysis. However, it is
the verification methodology that builds a verification environment that takes full
advantage of these technologies to solve complex verification challenges.
by describing a means of Mentor’s advanced verification methodology (AVM) based
unified verification platform solution.
The continuing growth of system-on-a-chip (SOC) designs has pressured functional
verification engineers to create new and innovative ways of keeping pace.
Increasingly, complex designs, together with traditional functional verification
methods, have resulted in an extraordinary rise in the time required to complete
verification. It has come to a point where traditional methods are no longer a feasible
means of efficiently completing verification tasks. In an effort to close the
productivity gap between design and functional verification, high-level verification
languages have emerged. Such languages employ advanced techniques, such as
constrained randomization, assertion and functional coverage analysis. However, it is
the verification methodology that builds a verification environment that takes full
advantage of these technologies to solve complex verification challenges.
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- A Dynamic Feedback-based Load BalancingMethodology
- Conformal_Verification_Guide_8.1 2次下载
- 国外AVM技术在批量评估中的应用
- A Unified RISC VLIW DSP Core f
- Functional Verification Coverage Measurement and Analysis 0次下载
- Creating An Efficient Verification Environment using Synopsy 0次下载
- Assertion based Design 2nd Edition 0次下载
- Professional Verification 0次下载
- Creating Assertion-Based IP 0次下载
- Verification Methodology Manua
- Hardware Verification With Sys 0次下载
- Advanced Verification Techniqu 0次下载
- Metric- Driven Design Verification 0次下载
- Advanced Formal Verification 0次下载
- Constraint-Based Verification 0次下载
- 在Windows 10上创建并运行AMD Vitis™视觉库示例 434次阅读
- Synopsys推出一款低功耗静态规则检查工具—VCLP 1509次阅读
- Formal Verification的基础知识 2106次阅读
- AVM系统算法框架搭建的方法 690次阅读
- 介绍一下TIA Portal V18安装和授权获取的流程 4.2w次阅读
- 基于BIO序列标注的方法和基于片段的图解析方法 2729次阅读
- 形式验证工具对系统功能的设计 1316次阅读
- AXI VIP设计示例 AXI接口传输分析 1628次阅读
- digilentIO Explorer USB- Based 主板介绍 1692次阅读
- UML的分类_UML的基本模型图 6150次阅读
- 基于PC-Based PLC架构系统应用设计浅析 1939次阅读
- 什么是Transition-based基于转移的框架? 5027次阅读
- 浅析人脸辨识的技术环节 2660次阅读
- Xilinx可编程逻辑器件设计与开发(基础篇)连载31:Spartan 557次阅读
- MIPS-based SoC主导ADAS系统 1113次阅读
下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 92次下载 | 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蓝牙设备在嵌入式领域的广泛应用
- 0.63 MB | 3次下载 | 免费
- 89天练会电子电路识图
- 5.91 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下载入口
- 未知 | 233045次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
评论
查看更多