What are the challenges of DO-254 certification for complex FPGAs in avionics?

DO-254 (Design Assurance Guidance for Airborne Electronic Hardware) applies to programmable logic. Challenges for complex FPGAs: Tool qualification - synthesis, place-and-route tools must be qualified or their outputs verified; this is difficult for proprietary FPGA tools. Design verification - achieving full coverage (branch, condition, MC/DC) for HDL requires extensive simulation; timing closure verification across corners. Independent verification for DAL A/B requires separate verification team, which is costly. Configuration management of IP cores, FPGA vendor libraries, and tool versions. Testing complete FPGA in system context vs standalone. Strategies: Use of high-level synthesis with verification-friendly output, formal verification tools, and RTCA DO-254 supplements. Alternative: Simple PLDs at higher DAL, complex FPGAs at lower DAL with system-level mitigation.