摘要：AFDX端系统本地时间作为端系统本地时钟计时数据,可用于计算发送端系统和接收端系统之间的数据帧传输时延,从而进行传输数据帧的时间完整性验证。若端系统本地时间丢失,则无法进行数据时间完整性的验证。在当前AFDX网络健康管理以及时间同步相关设计的基础上,提出了一种基于时间戳列表的本地时间恢复方案。经验证,可实现端系统本地时间的恢复,进一步保障了AFDX网络中传输数据的时间完整性验证,提升了传输数据的可靠性。

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

摘要：本文通过将AFDX端系统SoC设计加载到硬件仿真加速器上运行,在HDL侧以真正的硬件电路运行来替代用仿真工具软件运行SoC设计的方式,可以大大提高测试向量的仿真速度,并且可以将主要模块信号波形上传到在HVL侧主机上,增强了测试的可观测性,可以快速的定位出错误的信号,提高了验证效率,对机载SoC设计的功能验证提供了参考。