Verification Horizons

Filter by:

Latest posts

Didn’t make it to DAC this year? We’ve got you covered!

Didn’t make it to DAC this year? We’ve got you covered!

September 6, 2019

I’ve probably mentioned in the past that DAC is one of my favorite events of the year. Aside from catching…

By Tom Fitzpatrick
< 1 MIN READ

The Many Flavors of Equivalence Checking: Part 2, How SLEC Brings Automated, Exhaustive Formal Analysis to ECO/Bug Fix Verification

August 20, 2019

Perhaps the only Sequential Logic Equivalence Checking (SLEC) flow that is as common as the synthesis validation flow described in…

By Joe Hupcey III
3 MIN READ

Join us at DVClub Boston

July 23, 2019

As a longstanding sponsor of DVClub events around the world, we are pleased to share the news that we now…

By Dennis Brophy
2 MIN READ
The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever)

The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever)

July 11, 2019

In EDA, the word “simulation” is used everywhere: there is RTL and gate level simulation, analog simulation, RF simulation, and…

By Joe Hupcey III
5 MIN READ
Summer Issue of Verification Horizons Update

Summer Issue of Verification Horizons Update

July 9, 2019

For those of you who haven’t seen it yet, the Summer issue of our Verification Horizons newsletter is available here. As…

By Tom Fitzpatrick
2 MIN READ
The Beginning Of The End For Coverage

The Beginning Of The End For Coverage

June 3, 2019

Before we get started here, I’ll assure you it’s not as it sounds. I’m not talking about the end of…

By Neil Johnson
4 MIN READ
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!

May 16, 2019

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

By Harry Foster
3 MIN READ
Mitigating Security Risks When Designing with 3rd-Party Silicon IP

Mitigating Security Risks When Designing with 3rd-Party Silicon IP

May 14, 2019

Accellera DAC Panel to Discuss There is probably not one embedded system that is not built without open source software,…

By Dennis Brophy
2 MIN READ
Portable Stimulus and Lots More at the Verification Academy @DAC

Portable Stimulus and Lots More at the Verification Academy @DAC

May 9, 2019

Spring appears to have finally arrived in New England (although sometimes it’s tough to tell through all the rain), and…

By Tom Fitzpatrick
2 MIN READ