UVM Transaction Coding Style

How to write a UVM transaction class? There has been a split in UVM – how to create a sequence…

Extend transactions from uvm_sequence_item

Why are UVM transactions built with uvm_sequence_item?

What is a UVM transaction? A transaction in UVM is a class with properties for the signals, such as address…

What Does Importing a SystemVerilog Package Mean?

In my last webinar I explained what happens when you import a package in SystemVerilog. There were still many questions,…

The Many Flavors of Equivalence Checking: Part 5, Summary of the Most Popular LEC and SLEC Use Cases

As I noted at the beginning of this series, the term “logic equivalence checking” (LEC) applies to a number of…

ISO 26262 Safety Analysis

ISO 26262 Safety Analysis: We all need something to lean on

Introduction In my last post (Colliding Worlds of Safety Analysis), I highlighted the challenges facing safety teams and the opportunity…

Get Your Bits Together

After my last webinar on SystemVerilog arrays, I received several questions on the differences between arrays and structures, plus how…

SystemVerilog Multidimensional Arrays

You asked and I listened Thank you everyone who registered and attended my webinar on SystemVerilog arrays. There were many…

Getting Organized with SystemVerilog Arrays

Getting Organized with SystemVerilog Arrays

SystemVerilog has many ways to store your data. Vectors, arrays, structures, classes, and probably several more ways that I don’t…

The Many Flavors of Equivalence Checking: Part 4, How SLEC Brings Automated, Exhaustive Formal Analysis to Safety Mechanism Verification

[Preface / reminders: Part 1 of this series focused on synthesis validation with LEC and SLEC, Part 2 describes how…