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…

Growing Complexity of Automotive ASICs

I was recently asked to compile some data from our 2020 Wilson Research Group Functional Verification Study focused specifically on…

Webinar Preview: Practical Flows for Continuous Integration

But First, The Backstory… I’ll take you back to May 4th 2020 to the last in a series of verification…

Debugging SoCs Can Be Complicated

There’s nothing worse than thinking you’re close to the finish line of your system-on-a-chip (SOC) design then, just as you…

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 newsletter for September, 2021. The…

U2U 2020 - Raytheon - CoverCheck

3 Notable Formal Verification Conference Papers of 2020

On the short list of positive things to come out of the past year are the formal verification-focused conference papers…

Part 12: The 2020 Wilson Research Group Functional Verification Study

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

Part 11: The 2020 Wilson Research Group Functional Verification Study

This blog is a continuation of a series of blogs related to the 2020 Wilson Research Group Functional Verification Study….