資料介紹
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.
AVM
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- RFID-based-indoor-tracking-method
- A Dynamic Feedback-based Load BalancingMethodology
- Conformal_Verification_Guide_8.1 2次下載
- 國外AVM技術(shù)在批量評估中的應(yīng)用
- A Unified RISC VLIW DSP Core f
- Functional Verification Coverage Measurement and Analysis 0次下載
- Creating An Efficient Verification Environment using Synopsy 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次下載
- 如何在AMD Vitis Unified IDE中使用系統(tǒng)設(shè)備樹 3k次閱讀
- 如何在AMD Vitis Unified 2024.2中連接到QEMU 1.6k次閱讀
- 如何在Unified IDE中創(chuàng)建視覺庫HLS組件 1.3k次閱讀
- 使用AMD Vitis Unified IDE創(chuàng)建HLS組件 2.1k次閱讀
- 在Windows 10上創(chuàng)建并運行AMD Vitis?視覺庫示例 1.7k次閱讀
- Formal Verification的基礎(chǔ)知識 4.7k次閱讀
- AVM系統(tǒng)算法框架搭建的方法 1.8k次閱讀
- 基于BIO序列標注的方法和基于片段的圖解析方法 4k次閱讀
- 形式驗證工具對系統(tǒng)功能的設(shè)計 2.2k次閱讀
- AXI VIP設(shè)計示例 AXI接口傳輸分析 3k次閱讀
- UML的分類_UML的基本模型圖 6.8k次閱讀
- 什么是Transition-based基于轉(zhuǎn)移的框架? 5.7k次閱讀
- 淺析人臉辨識的技術(shù)環(huán)節(jié) 3.1k次閱讀
- Xilinx可編程邏輯器件設(shè)計與開發(fā)(基礎(chǔ)篇)連載31:Spartan 836次閱讀
- MIPS-based SoC主導(dǎo)ADAS系統(tǒng) 1.3k次閱讀
下載排行
本周
- 1MDD品牌三極管BC807數(shù)據(jù)手冊
- 3.00 MB | 次下載 | 免費
- 2MDD品牌三極管BC817數(shù)據(jù)手冊
- 2.51 MB | 次下載 | 免費
- 3MDD品牌三極管D882數(shù)據(jù)手冊
- 3.49 MB | 次下載 | 免費
- 4MDD品牌三極管MMBT2222A數(shù)據(jù)手冊
- 3.26 MB | 次下載 | 免費
- 5MDD品牌三極管MMBTA56數(shù)據(jù)手冊
- 3.09 MB | 次下載 | 免費
- 6MDD品牌三極管MMBTA92數(shù)據(jù)手冊
- 2.32 MB | 次下載 | 免費
- 7STM32G474 HRTIME PWM 丟波問題分析與解決
- 1.00 MB | 次下載 | 3 積分
- 8新能源電動汽車高壓線束的銅鋁連接解決方案
- 2.71 MB | 次下載 | 2 積分
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8蘇泊爾DCL6909(即CHK-S009)單芯片電磁爐原理圖資料
- 0.08 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 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 | 191439次下載 | 10 積分
- 5十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App





創(chuàng)作
發(fā)文章
發(fā)帖
提問
發(fā)資料
發(fā)視頻
上傳資料賺積分
評論