资料介绍
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普中科技HC6800-EM3使用操作手册
- 21.69 MB | 3次下载 | 2 积分
- 2PCB板EMC/EMI的设计技巧
- 0.20 MB | 3次下载 | 免费
- 32024PMIC市场洞察
- 2.23 MB | 2次下载 | 免费
- 4MSP430™闪存器件引导加载程序(BSL)
- 1.45MB | 2次下载 | 免费
- 5PL4807单节锂离子电池充电器中文手册
- 1.36 MB | 2次下载 | 免费
- 6LTH7充电电路和锂电池升压5V输出电路原理图
- 0.04 MB | 1次下载 | 免费
- 7HT2120两节锂电池保护板电路
- 0.22 MB | 1次下载 | 免费
- 8BQ77207EVM用户指南
- 865.23KB | 1次下载 | 免费
本月
- 1XL4015+LM358恒压恒流电路图
- 0.38 MB | 148次下载 | 1 积分
- 2PCB布线和布局电路设计规则
- 0.40 MB | 33次下载 | 免费
- 3智能门锁原理图
- 0.39 MB | 13次下载 | 免费
- 4GB/T4706.1-2024 家用和类似用途电器的安全第1部分:通用要求
- 7.43 MB | 11次下载 | 1 积分
- 5JESD79-5C_v1.30-2024 内存技术规范
- 2.71 MB | 10次下载 | 免费
- 6elmo直线电机驱动调试细则
- 4.76 MB | 9次下载 | 6 积分
- 7WIFI智能音箱原理图完整版
- 0.09 MB | 7次下载 | 10 积分
- 8PC1013三合一快充数据线充电芯片介绍
- 1.03 MB | 7次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935115次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183332次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73806次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65985次下载 | 10 积分
评论
查看更多