close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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 and random 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.

Tool Qualification for Functional Safety Compliance

DO-254 and DO-330

Software tools applied in the development of AEH must undergo tool assessment and qualification to comply with relevant functional safety standards. OneSpin provides expert support to reduce the qualification efforts for its family of formal tools. In addition, OneSpin 360 EC-FPGA, a sequential equivalence checking tool to automate the verification of synthesis and other implementation steps, features an optional DO-254 tool qualification kit (TQK) (see press release). The DO-254 TQK enables OneSpin users to meet the highest aviation electronic systems requirements for AEH set by DO-254 (DAL A/B) with minimal effort.

Get the DO-254 presentation

 I would like to recieve more technical information via mail.
By downloading this content, you comply with OneSpin's privacy policy and give your consent for the collection of the entered data. OneSpin Solutions will protect the information that is collected on this site as stated in the privacy policy. It will not be shared with, or sold to any third party. This declaration of consent is entirely voluntary and can be retrieved on our website and revoked at any time. Should you have any objections to the collection, processing and use of your personal data at a later stage, you can withdraw your declaration of consent at any time in the future, without giving any reasons, by writing to