Field-Programmable Gate Array
FPGASection 09: Hardware Certification (DO-254)
Definition
A programmable logic device containing an array of configurable logic blocks (CLBs) interconnected through a programmable routing fabric, with configuration typically stored in volatile SRAM cells loaded at power-up from external non-volatile memory. FPGAs provide high logic density, parallel processing capability, and in-field reconfigurability.
Where This Shows Up
FPGAs are widely used in avionics for signal processing, communication interfaces, and control functions. Under DO-254, FPGAs are classified as complex hardware and require rigorous design assurance. Key certification challenges include managing the complexity of the synthesis and place-and-route tool chain, verifying timing closure across operating conditions, and addressing the use of vendor-supplied IP cores. The FPGA vendor's silicon errata must also be evaluated against the specific design implementation.
Primary Sources
Primary design assurance standard applicable to FPGA development for airborne systems.
Provides FAA guidance on the certification aspects of FPGA-based designs, including tool assessment considerations.
Artifacts Produced
Document describing the FPGA architecture, logic design, interfaces, timing constraints, and resource utilization.
Tool-generated reports demonstrating successful compilation, resource usage, and timing closure of the FPGA design.
Related Terms
Need help navigating certification?
Understanding the terminology is the first step. If you need expert guidance on DO-178C, DO-254, ARP4754B, or any aspect of FAA, EASA, or TCCA certification, our team is here to help.