Featured posts

Latest posts

How to Become a Formal Expert and Impress your Friends and Boss!

How to Become a Formal Expert and Impress your Friends and Boss!

No one ever said that functional verification was easy. In fact, from a computer science theoretical perspective verification is considered…

Verification Academy Live Seminar: Portable Stimulus

Accellera Systems Initiative recently closed its public comment review period for the Portable Test and Stimulus Standard Early Adopter (EA)…

DVCon Europe 2017 Trip Report

DVCon Europe 2017 Trip Report

When I think of DVCon, I think of the premiere industry-focused conference on functional verification. Today, DVCon has expanded globally…

Safety-Critical Verification in DO-254

Safety-Critical Verification in DO-254

I recently read a novel that involved the investigation of the crash of Marine One, the U.S. President’s helicopter. The…

How to Save a Ton of Time and Energy by Prioritizing Faults with Exhaustive Formal Analysis Before Launching Detailed Fault Verification

How to Save a Ton of Time and Energy by Prioritizing Faults with Exhaustive Formal Analysis Before Launching Detailed Fault Verification

[Preface: If you are going to be at ARM Techcon 2017 on Wednesday October 25, the methodology described in this…

Test Intent, Test Realization, and Separation of Concerns

Test Intent, Test Realization, and Separation of Concerns

Separation of concerns is a key computer-science design principle to ensure creation of modular programs. Quoting from Wikipedia, “A concern…

Portable Stimulus in Verification Horizons

Portable Stimulus in Verification Horizons

Welcome back from Summer! Now that we’re all re-focusing on work after vacations, I wanted to remind everyone about a…

A glimpse into the journey of DVCon India 2017

A glimpse into the journey of DVCon India 2017

Time sure does fly, DVCon India 2017 is just around the corner, but I feel like DVCon India 2016 just…

DVCon U.S.

DVCon U.S.

There is certainly demand for what the Accellera DVCon events bring the global design and verification engineering community.  Not more…