一種基于貝葉斯網(wǎng)絡(luò)的隨機(jī)測(cè)試方法在Cache一致性驗(yàn)證中的設(shè)計(jì)與實(shí)現(xiàn)
資料介紹
隨著集成電路設(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ò)的故障樹(shù)在機(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總線(xiàn)一致性測(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)的分類(lèi)方法--樸素貝葉斯 5263次閱讀
- 怎樣通俗易懂地解釋貝葉斯網(wǎng)絡(luò)和它的應(yīng)用? 4168次閱讀
- 貝葉斯分類(lèi)算法及其實(shí)現(xiàn) 7453次閱讀
- 加速器一致性接口 3723次閱讀
下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費(fèi)
- 2AN158 GD32VW553 Wi-Fi開(kāi)發(fā)指南
- 1.51MB | 2次下載 | 免費(fèi)
- 3AN148 GD32VW553射頻硬件開(kāi)發(fā)指南
- 2.07MB | 1次下載 | 免費(fèi)
- 4AN111-LTC3219用戶(hù)指南
- 84.32KB | 次下載 | 免費(fèi)
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費(fèi)
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費(fèi)
- 7SM2018E 支持可控硅調(diào)光線(xiàn)性恒流控制芯片
- 402.24 KB | 次下載 | 免費(fèi)
- 8AN-1308: 電流檢測(cè)放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費(fèi)
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費(fèi)
- 2免費(fèi)開(kāi)源CC3D飛控資料(電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機(jī)智能手環(huán)心率計(jì)步器體溫顯示設(shè)計(jì)
- 0.10 MB | 130次下載 | 免費(fèi)
- 4使用單片機(jī)實(shí)現(xiàn)七人表決器的程序和仿真資料免費(fèi)下載
- 2.96 MB | 44次下載 | 免費(fèi)
- 53314A函數(shù)發(fā)生器維修手冊(cè)
- 16.30 MB | 31次下載 | 免費(fèi)
- 6美的電磁爐維修手冊(cè)大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測(cè)試電源的紋波
- 0.36 MB | 17次下載 | 免費(fèi)
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開(kāi)源硬件-PMP21529.1-4 開(kāi)關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
評(píng)論