Siemens EDA at the 58th Design Automation Conference

Welcome to the 58th Design Automation Conference, and welcome back to the beautiful city by…

Stop

Leave the House With a Clean Design

Wouldn’t it be great if there were something that would stop you from leaving the house wearing mismatched clothes – I mean without a clean design? …

Verification Horizons | September 2021

The September Verification Horizons is Now Online!

I’m really excited to share with you a very special issue of the Verification Horizons…

Deploying Formal in a DO-254 Program

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

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….

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…

AMC 20-152A: A practitioners perspective

A previous post discussed the high level impact of the new AMC 20-152A guidance on…

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

The European Union Aviation Safety Agency (EASA) recently released new guidance in the development of…