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