Part 4: The 2022 Wilson Research Group Functional Verification Study

FPGA Verification Effort Trends (Continued) This blog is a continuation of a series of blogs related to the 2022 Wilson…

Part 3: The 2022 Wilson Research Group Functional Verification Study

FPGA Verification Effort Trends This blog is a continuation of a series of blogs related to the 2022 Wilson Research…

Part 2: The 2022 Wilson Research Group Functional Verification Study

FPGA Verification Effectiveness In my previous blog, I present FPGA design trends identified in the 2022 Wilson Research Group Functional…

Part 1: The 2022 Wilson Research Group Functional Verification Study

FPGA Design Trends In my previous blog, I introduced the 2022 Wilson Research Group Functional Verification Study (click here). In…

Prologue: The 2022 Wilson Research Group Functional Verification Study

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

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

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

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…