Cross-Channel Data Link (CCDL) is an important way to conduct the dataexchange between the redundancy flight control computer system, it is also a keycomponent to ensure the normal operation of the flight control system. To useIEEE1394b serial bus transmission protocol is ensured the reliability of informationtransmission. Using Field Programmable Gate Array (FPGA) to realize the design ofCCDL, because the FPGA has fast transmission speed and high reliability. In order totest the dynamic process of CCDL and to ensure the CCDL can work properly whenthe system failure lead to performance degradation, the paper build a reliable model totest the function of CCDL.This paper describes the basic content of the IEEE1394protocol (includingIEEE1394b) firstly, focusing on the required knowledge of IEEE1394b protocol whenverification. Analysis the virtual simulation and FPGA prototype verificationtechnology and build verification environment to start from the two methods ofverification, and the final completion of the CCDL is fully complete verification,specific to the completion of the work include the following aspects:1) Analysis and research IEEE1394protocol and to expand the validation of theCCDL based on the IEEE1394protocol.2) Introduced the architecture and function of the CCDL FPGA.3) Gave some researches for the virtual simulation verification and FPGA prototypeverification, respectively carried out a detailed analysis of its concepts, techniqueadvantages and the limitations of the two familiar verification technology.Combined with the above analysis to determine adopting the virtual simulationverification and the FPGA prototype verification combined to complete a full andabundant validation to the CCDL FPGA. Building the virtual simulationverification platform and the FPGA prototype verification platform according withthe verification principle and developing the appropriate test environment andtestcases to finish the two kinds verification. Ultimately in the virtual simulationplatform and the FPGA prototype verification platform completed the protocolcompliance verification, functional verification, performance verification, andsystem applications level verification to the CCDL.Through a combination of the virtual simulation verification and the FPGA prototype verification methods, CCDL has got adequate verification. The validationresults show that the CCDL meet the design requirements, and the various functionsare stable and reliable which can improve the safety and reliability of the telex flightcontrol system, and has a good real-time performance and engineering practicality andso on. |