Siemens EDA at the 58th Design Automation Conference

Welcome to the 58th Design Automation Conference, and welcome back to the beautiful city by the bay—San Francisco! The 58th…

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…

DAC 2020: A Rare Virtual Opportunity in Professional Development!

DAC 2020: A Rare Virtual Opportunity in Professional Development!

Probably one of the most important pieces of advice I ever received was given to me when I was a…

What happens in Vegas…is happening in the Verification Academy and Mentor booths!

What happens in Vegas…is happening in the Verification Academy and Mentor booths!

It’s been 18 years since DAC last visited Las Vegas, and a lot has happened in verification during this period….

What’s Exciting at this Year’s Design Automation Conference?

What’s Exciting at this Year’s Design Automation Conference?

I am honored to have the opportunity to serve as the 2019 DAC Technical Program Chair, and this has been…

DAC 2018—No Man Ever Steps into the Same River Twice

DAC 2018—No Man Ever Steps into the Same River Twice

Perhaps it’s too early in the day to reference Greek philosophers, such as Heraclitus. I must admit that I haven’t…

OVM/UVM at DAC 2010

OVM/UVM at DAC 2010

Visit Booth 1350 – The hub of OVM/UVM Activity at DAC The OVM World booth at the Design Automation Conference…