Latest posts

Debugging Complex UVM Testbenches

Debugging Complex UVM Testbenches

Modern complex chips necessarily have modern complex testbenches. The testbenches of old – wiggling one pin at a time and…

SystemVerilog Standard Updated

SystemVerilog Standard Updated

The latest revision to the SystemVerilog standard, IEEE 1800™-2017 was approved at the December 2017 IEEE Standards Association meeting series. …

New Verification Horizons Issue Available

New Verification Horizons Issue Available

Our special year-end issue of the Verification Horizons Newsletter (for which this blog is named, by the way) is now available!…

Developing Tests in Reverse with Portable Stimulus

Developing Tests in Reverse with Portable Stimulus

Whether developing tests for software or hardware, test development seems to follow a pretty predictable process: learn about the thing…

Formal Tech Tip: What are Vacuous Proofs, Why They Are Bad, and How to Fix Them

Formal Tech Tip: What are Vacuous Proofs, Why They Are Bad, and How to Fix Them

In formal verification, proving all of your properties is pretty much the main goal of the whole exercise – if…

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…