DO-254 – Formal Verification Solutions for AEH

Compliant and efficient development of airborne FPGAs and ASICs


The complexity of ASIC and FPGA-based Airborne Electronic Hardware (AEH) is constantly increasing. Verification activities must ensure that HDL and netlist models correctly implement the hardware requirements, while also being efficient, complete and, crucially, compliant with the DO-254 standard. Formal solutions complement traditional verification methods, and are very effective in the quick and early detection of corner-case errors that could be missed by simulation tests. Formal verification tools have reached widespread adoption in the semiconductor industry, particularly for ASICs, and in safety-critical applications. Over the past ten years, industry partnerships and technology developments have removed the usability and pricing barriers to the deployment of formal tools in FPGA design flows.

This presentation focuses on the formal verification solutions that can provide high ROI in AEH development projects. These solutions reduce the risk of undetected hardware issues, and enable a more predictable and efficient path to airworthiness certification.


Get the DO-254 presentation