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