Industry: Aerospace & Defense

Filter by:

Pro Tip: Planning to Land Your Spacecraft on Mars? You Will Need CDC, RDC, and Formal Property Checking

May 19, 2022

If you are an engineer at one of the growing number of entities looking to land a spacecraft on Mars…

By Joe Hupcey III
4 MIN READ

HDL Coding Standards for DO-254

October 28, 2021

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

By Jake Wiltgen
3 MIN READ

Deploying Formal in a DO-254 Program

August 2, 2021

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

By Jake Wiltgen
2 MIN READ

Explanation of “Verification” in a DO-254 program

May 21, 2021

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

By Jake Wiltgen
< 1 MIN READ

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

March 30, 2021

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

By Jake Wiltgen
2 MIN READ

Epilogue: The 2020 Wilson Research Group Functional Verification Study

February 18, 2021

This is the last in a sequence of blogs that presents the findings from our new 2020 Wilson Research Group…

By Harry Foster
3 MIN READ

Conclusion: The 2020 Wilson Research Group Functional Verification Study

February 10, 2021

Deeper Dive into Non-Trivial Bug Escapes This blog is a continuation of a series of blogs related to the 2020…

By Harry Foster
4 MIN READ

Part 12: The 2020 Wilson Research Group Functional Verification Study

February 3, 2021

IC/ASIC Verification Results Trends This blog is a continuation of a series of blogs related to the 2020 Wilson Research…

By Harry Foster
4 MIN READ

Part 11: The 2020 Wilson Research Group Functional Verification Study

January 27, 2021

IC/ASIC Power Management Trends This blog is a continuation of a series of blogs related to the 2020 Wilson Research…

By Harry Foster
3 MIN READ