電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻一種基于貝葉斯網(wǎng)絡(luò)的隨機(jī)測(cè)試方法在Cache一致性驗(yàn)證中的設(shè)計(jì)與實(shí)現(xiàn)
2017-11-17 |
rar |
0.66 MB |
次下載 |
免費(fèi)
資料介紹
隨著集成電路設(shè)計(jì)復(fù)雜度指數(shù)級(jí)增長(zhǎng)，功能驗(yàn)證已經(jīng)越來(lái)越成為大規(guī)模芯片設(shè)計(jì)的瓶頸，而在多核處理器中，Cache -致性協(xié)議十分復(fù)雜，驗(yàn)證難度大。針對(duì)Cache -致性協(xié)議驗(yàn)證提出基于模擬驗(yàn)證的一種基于貝葉斯網(wǎng)絡(luò)的隨機(jī)測(cè)試生成方法，解決Cache -致性協(xié)議狀態(tài)空間爆炸的問(wèn)題。首先分析了Cache -致性協(xié)議及基于貝葉斯網(wǎng)絡(luò)推理的CDG方法，并將CDG方法應(yīng)用于Cache -致性的驗(yàn)證。以FT處理器中的Cache -致性協(xié)議驗(yàn)證為例，對(duì)比偽隨機(jī)測(cè)試，使用CDG方法將覆蓋率提高近30%。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于業(yè)務(wù)目標(biāo)和業(yè)務(wù)場(chǎng)景的語(yǔ)義一致性驗(yàn)證方法 9次下載
- 一種基于貝葉斯方法的網(wǎng)絡(luò)安全態(tài)勢(shì)感知混合模型 19次下載
- 一種改進(jìn)互信息的加權(quán)樸素貝葉斯算法 12次下載
- 一種改進(jìn)的貝葉斯網(wǎng)絡(luò)結(jié)構(gòu)學(xué)習(xí)算法 0次下載
- Cache一致性協(xié)議優(yōu)化研究 0次下載
- 基于貝葉斯網(wǎng)絡(luò)的克隆有害性預(yù)測(cè)方法 0次下載
- EMI一致性測(cè)試調(diào)試方法 13次下載
- TTCN在TD-SCDMA終端RRM一致性測(cè)試系統(tǒng)中的應(yīng)用
- CMP中Cache一致性協(xié)議的驗(yàn)證
- 基于貝葉斯網(wǎng)絡(luò)的故障樹在機(jī)械設(shè)備中的應(yīng)用
- 簡(jiǎn)化DisplayPort調(diào)試驗(yàn)證和一致性測(cè)試
- TD-SCDMA協(xié)議一致性的測(cè)試研究
- 一種基于貝葉斯網(wǎng)絡(luò)的匹配引擎設(shè)計(jì)
- 一致性規(guī)劃研究
- 改進(jìn)的基于目錄的Cache一致性協(xié)議
- 異構(gòu)計(jì)算下緩存一致性的重要性 682次閱讀
- 如何保證緩存一致性 1182次閱讀
- 如何進(jìn)行千兆以太網(wǎng)的一致性測(cè)試 1274次閱讀
- Dubbo負(fù)載均衡策略之一致性哈希 780次閱讀
- 如何保障MySQL和Redis的數(shù)據(jù)一致性 851次閱讀
- 基于頻偏功能混頻器/變頻器一致性測(cè)量 2271次閱讀
- EMC輻射測(cè)試中，一致性分析是一個(gè)很困難的任務(wù) 5195次閱讀
- 詳解CAN總線一致性測(cè)試的中的DLC測(cè)試 1.9w次閱讀
- 簡(jiǎn)單介紹CAN一致性測(cè)試中的負(fù)載率測(cè)試 1.1w次閱讀
- 貝葉斯統(tǒng)計(jì)的一個(gè)實(shí)踐案例讓你更快的對(duì)貝葉斯算法有更多的了解 1.4w次閱讀
- 基于頻偏功能的混頻器/變頻器一致性測(cè)量解析 2889次閱讀
- 基于概率的常見(jiàn)的分類方法--樸素貝葉斯 5263次閱讀
- 怎樣通俗易懂地解釋貝葉斯網(wǎng)絡(luò)和它的應(yīng)用？ 4168次閱讀
- 貝葉斯分類算法及其實(shí)現(xiàn) 7453次閱讀
- 加速器一致性接口 3723次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 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è)計(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下載入口
- 未知 | 233046次下載 | 免費(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)
工商網(wǎng)監(jiān)
評(píng)論