HDL Coding Standards for DO-254

DO-254 is the state-of-the-art standard guiding the development of airborne hardware. The document defines a hardware design lifecycle with guidance…

Deploying Formal in a DO-254 Program

The primary focus of DO-254, referred to as ED-80 in Europe, is hardware reliability of airborne electronic hardware. DO-254 is…

Explanation of “Verification” in a DO-254 program

Often times, I’m asked to define what verification activities are required for a DO-254 program. For those experienced in a…

Deploying HLS into a DO-254/ED-80 workflow

To remain competitive in a challenging market, avionics companies continue to innovate across all aircraft-related systems, including flight management, communication,…

AMC 20-152A: A practitioners perspective

A previous post discussed the high level impact of the new AMC 20-152A guidance on DO-254 programs. That post touched…

Key Functional Safety Insights from the 2020 Wilson Research Survey

Every two years, Siemens casts a wide net to capture the latest trends and challenges in IC Design and Verification….

How AMC 20-152A affects your DO-254 program?

The European Union Aviation Safety Agency (EASA) recently released new guidance in the development of electronic hardware in airborne systems….

The Correlation Between Safety Tool Chains and Nuclear Disarmament

The Correlation Between Safety Tool Chains and Nuclear Disarmament

The title may have you wondering how the heck I’m going to tie together two very disparate topics.  Well here…