基于SVA的AFDX网络MAC IP核功能验证
所屬分類：技术论文
上傳者：aetmagazine
文檔大?。?span>489 K
標(biāo)簽： SVA 功能验证 IP核
所需積分：0分積分不夠怎么辦？
文檔介紹：近年来，机载SoC设计复杂度的不断提升使得集成IP核的应用越来越广泛，如何高效和准确地对IP核进行功能验证成为目前航空领域的实际需求。采用SVA对AFDX网络MAC IP核搭建层次化验证平台，将断言与待测设计的关键点处进行绑定，并在验证平台中插入断言对测试激励的时序性和完整性进行检查，通过覆盖率统计评估验证的完整性。测试结果表明，采用SVA的验证平台可以在需要检查的功能点发生错误时更快、更清晰地定位出错误源，提高了对机载SoC中IP核功能验证的高效性和准确性。
現(xiàn)在下載
VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。