基于Cadence CHI和IVD VIP的 多核SoC系統(tǒng)數(shù)據(jù)一致性驗(yàn)證
所屬分類(lèi)：技術(shù)論文
上傳者：aetmagazine
文檔大?。?span>484 K
標(biāo)簽： Cache一致性 子系統(tǒng)級(jí)驗(yàn)證 VIP
所需積分：0分積分不夠怎么辦？
文檔介紹：在多核的SoC系統(tǒng)中，不同的處理器核對(duì)內(nèi)存空間和設(shè)備空間進(jìn)行著大量的數(shù)據(jù)讀寫(xiě)操作，維護(hù)Cache一致性面臨嚴(yán)峻挑戰(zhàn)。集中于控制流方面的驗(yàn)證環(huán)境搭建已非常復(fù)雜，而包含數(shù)據(jù)正確性檢查的驗(yàn)證由于控制流程復(fù)雜、數(shù)據(jù)量大等問(wèn)題而更加困難。針對(duì)這一問(wèn)題，基于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通過(guò)筆者開(kāi)發(fā)的CHI協(xié)議轉(zhuǎn)換橋發(fā)出訪(fǎng)存請(qǐng)求，使用AXI VIP收集到達(dá)主存的數(shù)據(jù)，由IVD VIP對(duì)CHI端口的請(qǐng)求數(shù)據(jù)與AXI端口的訪(fǎng)存數(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專(zhuān)家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 国产精品久久久久久久人热 | 97天天干 | 久久er热这里只有精品免费 | 欧美成人午夜在线全部免费 | 欧美午夜激情影院 | 成人看片在线观看免费 | 国产精品久久久久久久人热 | 久久中文字幕亚洲精品最新 | 亚洲a级在线观看 | 麻豆国产96在线 | 日韩 | 真实国产普通话对白乱子子伦视频 | 日韩欧美国产精品第一页不卡 | 日韩一区二区三区在线免费观看 | 三级网站视频 | 性欧美欧美巨大69 | 日韩美女一级视频 | 国产成人丝袜网站在线观看 | 国产精品久久网 | a级国产乱理伦片在线观看国 | 国产精品成人久久久 | 亚洲大片免费观看 | 国产成人精品福利站 | 国产在线播放不卡 | 欧美亚洲视频在线观看 | 精品久久久久久无码中文字幕 | 国产成人精品高清不卡在线 | 国产无卡一级毛片aaa | 亚洲精品国产第一区二区三区 | 日本aaa成人毛片 | 一级做a爰片性色毛片中国 一级做a爰性色毛片 | 九九精品激情在线视频 | a毛片在线观看 | 三级网站免费 | 中文字幕在线观看一区二区 | 欧美不卡视频在线观看 | 久一在线 | 嫩草影院在线观看网站成人 | 黄色三级毛片网站 | 亚洲的天堂| 国产一级久久久久久毛片 | 德国女人一级毛片免费 |