Part 2: The 2022 Wilson Research Group Functional Verification Study

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

osmosis 2022 - December 8, 2022 in Munich

Osmosis – our annual event for formal verification users – is back F2F this December 8, 2022!

Attention anyone interested in Formal Verification: after a hiatus due to you-know-what, osmosis is back in-person this coming December 8…

Part 1: The 2022 Wilson Research Group Functional Verification Study

In my previous blog, I introduced the 2022 Wilson Research Group Functional Verification Study (click here). The objective of my previous…

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…

My Day At The Beach - Early

UVM Testbench Debug – A Day At The Beach – Right?

Some people think UVM Testbench Debug is a drag. But really, it depends. I think it’s a day at the…

Finding Data

Finding Data Another weekend of weeding. Dark Star – Ceanothus – A California Lilac in the picture. (Not a weed)….

DAC Skytalk: Joe Sawicki on “Delivering ‘Smarter’ Faster – The Future of EDA & AI”

It’s hard to believe that the Design Automation Conference (DAC) is coming up in less than two weeks. As always,…

How to Mitigate the Impact of Security and Safety Flaws on Automotive ICs

Nearly 7 years ago security researchers uncovered how to remotely access and control the steering, cruise control, and braking system…

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…