資料介紹
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 BalancingMethodology6次下载
- Conformal_Verification_Guide_8.12次下载
- 国外AVM技术在批量评估中的应用9次下载
- A Unified RISC VLIW DSP Core f11次下载
- Functional Verification Coverage Measurement and Analysis0次下载
- Creating An Efficient Verification Environment using Synopsy0次下载
- Assertion based Design 2nd Edition0次下载
- Professional Verification0次下载
- Creating Assertion-Based IP0次下载
- Verification Methodology Manua37次下载
- Hardware Verification With Sys0次下载
- Advanced Verification Techniqu0次下载
- Metric- Driven Design Verification0次下载
- Advanced Formal Verification0次下载
- Constraint-Based Verification0次下载
- 如何在Unified IDE中创建视觉库HLS组件546次阅读
- 使用AMD Vitis Unified IDE创建HLS组件1056次阅读
- 在Windows 10上创建并运行AMD Vitis™视觉库示例1323次阅读
- Synopsys推出一款低功耗静态规则检查工具—VCLP4064次阅读
- Formal Verification的基础知识3871次阅读
- AVM系统算法框架搭建的方法1369次阅读
- 介绍一下TIA Portal V18安装和授权获取的流程52860次阅读
- 基于BIO序列标注的方法和基于片段的图解析方法3499次阅读
- 形式验证工具对系统功能的设计1843次阅读
- AXI VIP设计示例 AXI接口传输分析2145次阅读
- UML的分类_UML的基本模型图6573次阅读
- 什么是Transition-based基于转移的框架?5439次阅读
- 浅析人脸辨识的技术环节2923次阅读
- Xilinx可编程逻辑器件设计与开发(基础篇)连载31:Spartan720次阅读
- MIPS-based SoC主导ADAS系统1265次阅读
下載排行
本周
- 1SM9001電磁爐IGBT驅(qū)動芯片應(yīng)用原理圖資料
- 0.12 MB | 2次下載 | 1 積分
- 2電阻元件\電感元件\電容元件知識大全
- 4.67 MB | 1次下載 | 5 積分
- 3HP206W高精度氣壓與高度傳感器:特性、應(yīng)用及接口設(shè)計
- 712.09 KB | 1次下載 | 免費
- 4微盟/ME原裝正品SOT89 L7135線性恒流LED驅(qū)動電路
- 193.78 KB | 1次下載 | 免費
- 5ESP32開發(fā)板元件資料
- 0.03 MB | 1次下載 | 免費
- 6RA4M2_Sensor-V1.0 原理圖
- 586.91 KB | 1次下載 | 免費
- 7RA4M2-SENSOR開發(fā)板手冊
- 746.54 KB | 1次下載 | 免費
- 8珈港科技JC100安全芯片簡介
- 466.19 KB | 1次下載 | 免費
本月
- 1常用電子元器件集錦
- 1.72 MB | 24496次下載 | 免費
- 2三相逆變主電路的原理圖和PCB資料合集免費下載
- 27.35 MB | 111次下載 | 1 積分
- 3蘋果iphone 11電路原理圖
- 4.98 MB | 19次下載 | 5 積分
- 4運算放大器基本電路中文資料
- 1.30 MB | 17次下載 | 免費
- 5常用電子元器件介紹
- 3.21 MB | 15次下載 | 免費
- 6PC2456高壓浪涌抑制器控制器數(shù)據(jù)手冊
- 3.03 MB | 13次下載 | 免費
- 7PC2464具理想二極管的浪涌抑制控制器數(shù)據(jù)手冊
- 4.42 MB | 9次下載 | 免費
- 8PC2466高電壓浪涌抑制器數(shù)據(jù)手冊
- 3.37 MB | 8次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935132次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191401次下載 | 10 積分
- 5十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183345次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81591次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73816次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65990次下載 | 10 積分
評論