1. <em id="a494g"></em>

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