基于SVA的AFDX网络MAC IP核功能验证

作者：阎芳; 李翔^*; 徐双平; 范毓洋; 田毅

来源：电子技术应用, 2020, 46(07): 70-77.

DOI：10.16157/j.issn.0258-7998.191349

• SVA
• 功能验证
• IP核
• AFDX

近年来,机载SoC设计复杂度的不断提升使得集成IP核的应用越来越广泛,如何高效和准确地对IP核进行功能验证成为目前航空领域的实际需求。采用SVA对AFDX网络MAC IP核搭建层次化验证平台,将断言与待测设计的关键点处进行绑定,并在验证平台中插入断言对测试激励的时序性和完整性进行检查,通过覆盖率统计评估验证的完整性。测试结果表明,采用SVA的验证平台可以在需要检查的功能点发生错误时更快、更清晰地定位出错误源,提高了对机载SoC中IP核功能验证的高效性和准确性。

• 单位
  中国民航大学