資料介紹
If you survey hardware design groups, you will learn that between
60% and 80% of their effort is dedicated to verification. This may
seem unusually large, but I include in "verification" all debugging
and correctness checking activities, not just writing and running
testbenches. Every time a hardware designer pulls up a waveform
viewer, he or she performs a verification task. With today’s ASIC
and FPGA sizes and geometries, getting a design to fit and run at
speed is no longer the main challenge. It is to get the right design,
working as intended, at the right time.
Unlike synthesizable coding, there is no particular coding style nor
language required for verification. The freedom of using any language
that can be interfaced to a simulator and of using any features
of that language has produced a wide array of techniques and
approaches to verification. The continued absence of constraints
and historical shortage of available expertise in verification, coupled
with an apparent under-appreciation of and under-investment
in the verification function, has resulted in several different ad hoc
approaches. The consequences of an informal, ill-equipped and
understaffed verification process can range from a non-functional
design requiring several re-spins, through a design with only a subset
of the intended functionality, to a delayed product shipment.
- 測(cè)試平臺(tái)的模塊和模組參考案例 16次下載
- SystemVerilog的正式驗(yàn)證和混合驗(yàn)證 24次下載
- 軟件無(wú)線電RFID測(cè)試平臺(tái)課件下載 32次下載
- 符合驗(yàn)證方法手冊(cè)VMM的基于SystemVerilog事務(wù)的測(cè)試平臺(tái)詳細(xì)介紹 2次下載
- 測(cè)試系統(tǒng)平臺(tái)的典型架構(gòu)和AXle測(cè)試平臺(tái)的介紹和優(yōu)勢(shì)概述 7次下載
- Science Citation Index寫作 0次下載
- 測(cè)控技術(shù)方面科技英文寫作教程 0次下載
- 基于SystemVerilog語(yǔ)言的驗(yàn)證方法學(xué)介紹 52次下載
- 關(guān)于芯片數(shù)據(jù)寫作方面的基本思路
- 如何采用SystemVerilog來(lái)改善基于FPGA的ASI
- 基于事件結(jié)構(gòu)的SystemVerilog指稱語(yǔ)義
- SystemVerilog for Design(Secon 0次下載
- SystemVerilog的斷言手冊(cè)
- SystemVerilog Assertion Handbo
- 科研基金項(xiàng)目申請(qǐng)書的寫作程序與技巧
- 分享一些SystemVerilog的coding guideline 558次閱讀
- SystemVerilog在硬件設(shè)計(jì)部分有哪些優(yōu)勢(shì) 925次閱讀
- SystemVerilog的隨機(jī)約束方法 1167次閱讀
- 如何實(shí)現(xiàn)全面的SystemVerilog語(yǔ)法覆蓋 484次閱讀
- SystemVerilog中的Semaphores 3053次閱讀
- SystemVerilog語(yǔ)言中的Upcasting和Downcasting概念解析 1239次閱讀
- SystemVerilog中的Shallow Copy 759次閱讀
- Systemverilog中的union 823次閱讀
- SystemVerilog中的struct 2213次閱讀
- SystemVerilog中的package 1085次閱讀
- SystemVerilog中可以嵌套的數(shù)據(jù)結(jié)構(gòu) 1448次閱讀
- SystemVerilog中的操作方法 2473次閱讀
- SystemVerilog中$cast的應(yīng)用 2559次閱讀
- Systemverilog event的示例 1382次閱讀
- SystemVerilog對(duì)硬件功能如何進(jìn)行建模 1557次閱讀
下載排行
本周
- 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筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(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天練會(huì)電子電路識(shí)圖
- 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開(kāi)關(guān)電源設(shè)計(jì)實(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é)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論
查看更多