基于AFDX网络终端系统SoC的FPGA原型验证

基于商业以太网技术的AFDX网络，具有高带宽，低延迟，强实时性，高可靠性的特点已应用于在空客A380等型号上。ARINC664 Part7协议定义了AFDX网络的终端系统，交换机，以及通信机制。其中AFDX网络终端系统（ES，EndSystem）为航电系统上层应用与AFDX网络之间提供信息收发的通道。基于ARM9的AFDX—ESSoC是国内首款AFDX终端系统智能协议芯片，结合项目实践以SoC验证方法学为指导，以应用需求和ARINC664 Part7协议标准为依据，介绍了在FPGA环境下搭建验证平台，开发测试向量实施验证的过程，并对验证结果进行了分析，为成功流片提供了可靠保证。

FPGA Prototype Verification Based on AFDX Network End-system SoC

AFDX network is Based on commercial Ethernet technology, it gains the advantages of high bandwidth, low latency, strong real- time and high reliability. It has already been used in the Airbus A380 etc. ARINC664 Part7 protocol defines End System, Switch and their communication mechanism of the AFDX networks. The End System provides information transmitting and receiving channels between the Avionics System upper applications and the AFDX networks. Based on the ARM9 microprocessor, the AFDX- ES SoC is the first domestic intelligent AFDX End System protocol chip. Based on project practice and guided by SoC verification methodology,this thesis systematically introduces the construction of the FPGA verification platform as well as developing test case in the verification process and analyzes the verification result. Thereby it will provide credible guarantee to the successful tap- out.