資料介紹
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.
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- RFID-based-indoor-tracking-method
- A Dynamic Feedback-based Load BalancingMethodology
- Conformal_Verification_Guide_8.1 2次下載
- 國(guó)外AVM技術(shù)在批量評(píng)估中的應(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次下載
- 在Windows 10上創(chuàng)建并運(yùn)行AMD Vitis?視覺庫(kù)示例 825次閱讀
- Synopsys推出一款低功耗靜態(tài)規(guī)則檢查工具—VCLP 2577次閱讀
- Formal Verification的基礎(chǔ)知識(shí) 2739次閱讀
- AVM系統(tǒng)算法框架搭建的方法 899次閱讀
- 介紹一下TIA Portal V18安裝和授權(quán)獲取的流程 4.6w次閱讀
- 基于BIO序列標(biāo)注的方法和基于片段的圖解析方法 3002次閱讀
- 形式驗(yàn)證工具對(duì)系統(tǒng)功能的設(shè)計(jì) 1526次閱讀
- AXI VIP設(shè)計(jì)示例 AXI接口傳輸分析 1830次閱讀
- digilentIO Explorer USB- Based 主板介紹 1847次閱讀
- UML的分類_UML的基本模型圖 6286次閱讀
- 基于PC-Based PLC架構(gòu)系統(tǒng)應(yīng)用設(shè)計(jì)淺析 2047次閱讀
- 什么是Transition-based基于轉(zhuǎn)移的框架? 5148次閱讀
- 淺析人臉辨識(shí)的技術(shù)環(huán)節(jié) 2754次閱讀
- Xilinx可編程邏輯器件設(shè)計(jì)與開發(fā)(基礎(chǔ)篇)連載31:Spartan 599次閱讀
- MIPS-based SoC主導(dǎo)ADAS系統(tǒng) 1144次閱讀
下載排行
本周
- 1珈港科技JC100安全芯片簡(jiǎn)介
- 466.19 KB | 1次下載 | 免費(fèi)
- 2068 HJJF-1000K 三相 無高低檔 說明書
- 462.90 KB | 次下載 | 免費(fèi)
- 3三坐標(biāo)深腔掃描技術(shù)解決汽車穩(wěn)定桿機(jī)殼斜齒同軸度檢測(cè)難題
- 349.13 KB | 次下載 | 免費(fèi)
- 4高性能三坐標(biāo)測(cè)量系統(tǒng)全面覆蓋半導(dǎo)體設(shè)備各類核心部件的檢測(cè)需求
- 583.31 KB | 次下載 | 免費(fèi)
- 5RY1228AD10 雙降壓2通道電源管理單元(PMU)數(shù)據(jù)手冊(cè)
- 0.52 MB | 次下載 | 免費(fèi)
- 6LN1179系列 30V 低功耗 500mA CMOS 電壓穩(wěn)壓器數(shù)據(jù)手冊(cè)
- 1.29 MB | 次下載 | 免費(fèi)
- 7Zynq-7000 SoC與7系列設(shè)備內(nèi)存接口解決方案數(shù)據(jù)手冊(cè)
- 17.53 MB | 次下載 | 10 積分
- 8FII-PRA006/010使用說明
- 10.93 MB | 次下載 | 10 積分
本月
- 1常用電子元器件集錦
- 1.72 MB | 24496次下載 | 免費(fèi)
- 2三相逆變主電路的原理圖和PCB資料合集免費(fèi)下載
- 27.35 MB | 113次下載 | 1 積分
- 3蘋果iphone 11電路原理圖
- 4.98 MB | 19次下載 | 5 積分
- 4PC2456高壓浪涌抑制器控制器數(shù)據(jù)手冊(cè)
- 3.03 MB | 14次下載 | 免費(fèi)
- 5PC2464具理想二極管的浪涌抑制控制器數(shù)據(jù)手冊(cè)
- 4.42 MB | 9次下載 | 免費(fèi)
- 6ssd1306單片 CMOS OLED/PLED 驅(qū)動(dòng)芯片中文手冊(cè)
- 1.66 MB | 8次下載 | 1 積分
- 7PC2466高電壓浪涌抑制器數(shù)據(jù)手冊(cè)
- 3.37 MB | 8次下載 | 免費(fèi)
- 8EMC電路設(shè)計(jì)工程師必備的EMC基礎(chǔ)
- 0.42 MB | 7次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935132次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191401次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183345次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81593次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73816次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65990次下載 | 10 積分
電子發(fā)燒友App






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