| 基于Cadence CHI和IVD VIP的 多核SoC系統(tǒng)數(shù)據(jù)一致性驗(yàn)證 | |
| 所屬分類：技術(shù)論文 | |
| 上傳者：aetmagazine | |
| 文檔大小：484 K | |
| 標(biāo)簽： Cache一致性 子系統(tǒng)級(jí)驗(yàn)證 VIP | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：在多核的SoC系統(tǒng)中，不同的處理器核對(duì)內(nèi)存空間和設(shè)備空間進(jìn)行著大量的數(shù)據(jù)讀寫操作，維護(hù)Cache一致性面臨嚴(yán)峻挑戰(zhàn)。集中于控制流方面的驗(yàn)證環(huán)境搭建已非常復(fù)雜，而包含數(shù)據(jù)正確性檢查的驗(yàn)證由于控制流程復(fù)雜、數(shù)據(jù)量大等問題而更加困難。針對(duì)這一問題，基于Cadence公司提供CHI VIP、AXI VIP和IVD VIP，實(shí)現(xiàn)多核環(huán)境下的系統(tǒng)級(jí)數(shù)據(jù)一致性驗(yàn)證。搭建的驗(yàn)證平臺(tái)中采用CHI VIP通過筆者開發(fā)的CHI協(xié)議轉(zhuǎn)換橋發(fā)出訪存請(qǐng)求，使用AXI VIP收集到達(dá)主存的數(shù)據(jù)，由IVD VIP對(duì)CHI端口的請(qǐng)求數(shù)據(jù)與AXI端口的訪存數(shù)據(jù)進(jìn)行實(shí)時(shí)分析比對(duì)，實(shí)現(xiàn)在較高抽象層次上的激勵(lì)產(chǎn)生和響應(yīng)檢查。該驗(yàn)證平臺(tái)能夠在子系統(tǒng)級(jí)及系統(tǒng)級(jí)進(jìn)行數(shù)據(jù)一致性驗(yàn)證，具有驗(yàn)證環(huán)境搭建快速和功能點(diǎn)覆蓋完備的優(yōu)點(diǎn)。 | |
| 現(xiàn)在下載 | |
| VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
Cache一致性 相關(guān)資源
aetmagazine 的最新分享
Copyright ? 2005-2024 華北計(jì)算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號(hào)-2