Latest posts

DVConUS Edition of Verification Horizons is Out!

DVConUS Edition of Verification Horizons is Out!

Hi Everyone, Hello from those of us willing to brave the Coronavirus to be here at DVConUS. I am pleased…

DVCon U.S. 2020

DVCon U.S. 2020

If you have not yet registered for DVCon U.S. 2020, you can do so here. If you have the time,…

AI/ML at DVCon: From Theory to Application

AI/ML at DVCon: From Theory to Application

For many years computer systems have augmented CPUs with special purpose accelerators that are targeted at specialized tasks. Examples of…

Verification Horizons | December 2019

December 2019 Verification Horizons Newsletter is Out!

We’re happy to give you a special Christmas (or whatever gift-giving holiday you may celebrate this time of year) present:…

FMCAD 2019: The Most Important Formal Verification Conference You’ve Never Heard Of

FMCAD 2019: The Most Important Formal Verification Conference You’ve Never Heard Of

[Preface: I briefly interrupt my series on The Many Flavors of Equivalence Checking to share this report on an important…

Automotive IC Design Workshop

Automotive IC Design Workshop

Join us Thursday, November 21, 2019 at our offices in Fremont, CA for the Mentor and TowerJazz Automotive Workshop. Register…

The UVM : Is it Safe?

The UVM : Is it Safe?

Is It Safe? It depends. What is the context? Economy? Geo-political situation? Teenage drivers? UVM? I don’t know. Do you…

Questa VRM is the New MS Project

Questa VRM is the New MS Project

I’ve written extensively about agile development from the point of a verification engineer. From the beginning, I’ve been firmly of…

Safety-Critical Design

Safety-Critical Design

Mentor Joins Arm® Functional Safety Ecosystem Mentor is pleased to join the Arm Functional Safety Partner program to bring our…