| 基于SVA的AFDX網絡MAC IP核功能驗證 | |
| 所屬分類：技術論文 | |
| 上傳者：aetmagazine | |
| 文檔大?。?span>489 K | |
| 標簽： SVA 功能驗證 IP核 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：近年來，機載SoC設計復雜度的不斷提升使得集成IP核的應用越來越廣泛，如何高效和準確地對IP核進行功能驗證成為目前航空領域的實際需求。采用SVA對AFDX網絡MAC IP核搭建層次化驗證平臺，將斷言與待測設計的關鍵點處進行綁定，并在驗證平臺中插入斷言對測試激勵的時序性和完整性進行檢查，通過覆蓋率統計評估驗證的完整性。測試結果表明，采用SVA的驗證平臺可以在需要檢查的功能點發生錯誤時更快、更清晰地定位出錯誤源，提高了對機載SoC中IP核功能驗證的高效性和準確性。 | |
| 現在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統工程研究所版權所有 京ICP備10017138號-2