資料介紹
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)建并運(yùn)行AMD Vitis?視覺庫示例 1.7k次閱讀
- Formal Verification的基礎(chǔ)知識 4.7k次閱讀
- AVM系統(tǒng)算法框架搭建的方法 1.8k次閱讀
- 基于BIO序列標(biāo)注的方法和基于片段的圖解析方法 4k次閱讀
- 形式驗(yàn)證工具對系統(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次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 92次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7藍(lán)牙設(shè)備在嵌入式領(lǐng)域的廣泛應(yīng)用
- 0.63 MB | 3次下載 | 免費(fèi)
- 89天練會電子電路識圖
- 5.91 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233045次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
電子發(fā)燒友App





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