The Research Of Airworthiness Compliance Verification Methods To Airborne IP Soft Core

Due to the rapid development of microelectronics technology, more and more complex electronic equipments are used in the high security field like aviation. It is one of the effective ways to use soft IP(Intellectual Property) core during the airborne electronic hardware development process for reducing the design life cycle of the equipment. However, due to the continuous improvement of the complexity, in order to ensure the safety and reliability of the aircraft, airworthiness compliance verification need to be comprehensive and effective. But it is difficult to meet the requirements of the airworthiness certification based on domestic airborne electronic hardware verification still in its infa ncy so that most of institutions still stay in direct testing and debug phase.PCI bus interface IP soft core is verified by using SystemVerilog to build constrained random testbench, and the compliance verification method is elemental analysis in the DO-254 standard(Design Assurance Guidance for Airborne Electronic Hardware). During this verification work, first introduce DO-254 standard and describe the requirements of airborne IP core in airworthiness. And then introduce the interface and modules of the PCI IP soft core. At last focuse on the basic function of the random verification testbench levels and the process of the testbench building, and accesse code coverage and functional coverage which is generated in the verification tool QuestaSim.In the results, 100% functional coverage and code coverage indicate that all functions of PCI IP core are achieved after verification.It is certain that using elemental analysis method can make verification more comprehensive and effective and ensure the safety and reliability of the airborne IP core.