论文部分内容阅读
本文从AFDX-ES SOC验证平台模型的构建出发,完成了对一款VIC IP核的功能验证。文中列举了部分验证实例,测试用例主要通过AHB接口对IP核进行了描述,最后给出验证结果报告,VIC IP核的代码覆盖率达到令人满意的结果。文中对验证方法学进行了研究和实践,实现了测试向量的可读性,验证结果的可观测性,验证思想可以在AFDX-ES SOC相关模块的验证中复用。