| 基于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