The Many Flavors of Equivalence Checking: Part 6, FPGA-focused Equivalency Checking Flows

With last year’s acquisition of OneSpin, we now have a valuable addition to the solutions I described in The Many…

Logging in pyuvm

Logging in pyuvm This is part of the Python for Verification series of blog posts. The IEEE UVM specification (1800.2-2020)…

The UVM Factory

In the previous post in the Python for Verification Series, we discussed how pyuvm implemented the configuration database as a…

HDL Coding Standards for DO-254

DO-254 is the state-of-the-art standard guiding the development of airborne hardware. The document defines a hardware design lifecycle with guidance…

The configuration database in pyuvm

The configuration database In the previous post in the Python for Verification Series we discussed how pyuvm implemented TLM 1.0….

TLM 1.0 in pyuvm

This blog post is part of a continuing series discussing Python as a verification language. You can find links to…

How Can You Say That Formal Verification Is Exhaustive?

As a companion to my previous post on Learn Formal the Easy Way, allow me to explain what are often…

Python and the UVM

In our previous two posts in this series on Python as a verification language, we examined Python coroutines and using…

Parking lot with an Automobile and Pickup, plus class variables

Class Variables and $cast

Introduction My previous post showed how SystemVerilog class variables can refer to base and derived objects. This post shows you…