基于SVA的AFDX網(wǎng)絡MAC IP核功能驗證
所屬分類：技術(shù)論文
上傳者：aetmagazine
文檔大?。?span>489 K
標簽： SVA 功能驗證 IP核
所需積分：0分積分不夠怎么辦,？
文檔介紹：近年來,，機載SoC設(shè)計復雜度的不斷提升使得集成IP核的應用越來越廣泛,，如何高效和準確地對IP核進行功能驗證成為目前航空領(lǐng)域的實際需求。采用SVA對AFDX網(wǎng)絡MAC IP核搭建層次化驗證平臺,，將斷言與待測設(shè)計的關(guān)鍵點處進行綁定,，并在驗證平臺中插入斷言對測試激勵的時序性和完整性進行檢查,，通過覆蓋率統(tǒng)計評估驗證的完整性,。測試結(jié)果表明，采用SVA的驗證平臺可以在需要檢查的功能點發(fā)生錯誤時更快,、更清晰地定位出錯誤源,，提高了對機載SoC中IP核功能驗證的高效性和準確性。
現(xiàn)在下載
VIP會員,，AET專家下載不扣分,；重復下載不扣分，本人上傳資源不扣分,。