论文部分内容阅读
AFDX总线以其高实时、高可靠和低延时的特点成为目前机载网络领域较先进的航空总线之一,目前广泛应用于A380、C919等先进民航客机。本课题针对AFDX端系统开展验证实践,由于AFDX端系统属于AFDX网络中的关键机载电子硬件,承担向AFDX网络中的其他AFDX端系统发送或接收上层应用产生的数据包的功能,设计高度复杂。因此,通过对AFDX端系统进行验证从而为类似的高度复杂机载电子硬件提供一种快速高效的验证具有重要意义。当前机载SoC设计逐渐增多,如何为适航审查中提供更多的置信,开展TBX验证技术的航空领域应用研究是非常有必要的。本文对典型的AFDX端系统设计进行系统级的验证为背景,分析对比了软件仿真器和FPGA原型验证的优点和缺点,深入研究了目前通用芯片领域验证使用的硬件加速器。在基于大量测试案例的验证速度和信号的可观测性考虑后,选择采用基于事务级加速的TBX技术作为端系统验证的解决方案。本文首先对ARINC664 Part7协议进行深入的研究,确定验证需求和验证的功能点,制定验证计划。然后根据对验证的需求进行分析后,对验证平台中的参考模型组件进行设计,保证了验证的独立性。通过对DUT的工作原理进行分析后,确定了DUT与验证平台的接口信号,根据验证计划中的验证功能点采用SystemVerilog验证语言进行了可重用验证平台的设计与实现,并对参考模型的验证、断言和功能覆盖点进行设计与实现,将可重用验证平台进行移植后用于实现硬件加速器的TBX技术验证平台。最后对参考模型的验证结果进行分析,确保参考模型模拟设计功能的正确性,对验证功能点的验证结果进行分析,确保AFDX端系统实现预期功能,通过对覆盖率的分析来判定达到验证计划中的要求,完成整个验证工作。本文所采用的基于TBX技术的验证平台进行了工程实践,并且根据需求设计了验证平台和参考模型,保证了验证的独立性。由于本平台设计的验证平台可以封装为一个VIP,可用于进行其他端系统的验证工作。此外,本文给出了采用硬件加速器对机载电子硬件进行功能验证的具体步骤,可为硬件加速器在航空领域进行适航举证提供借鉴。