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…

Evolving Product Lifecycle Requires New Debugging Skills

Evolving Product Lifecycle Requires New Debugging Skills

There’s a wonderful quote in Brian Kernighan book The Elements of Programming Style, where he says “Everyone knows that debugging…

The Walking LRM

The Walking LRM

My last blog post was written a few years ago before attending a conference when I was reminiscing about the…

How To Connect Your Testbench to Your Low Power UPF Models

How To Connect Your Testbench to Your Low Power UPF Models

Face facts: power supply nets are now effectively functional nets, but they are typically not defined in the design’s RTL….

Part 10: The 2016 Wilson Research Group Functional Verification Study

Part 10: The 2016 Wilson Research Group Functional Verification Study

ASIC/IC Language and Library Adoption Trends This blog is a continuation of a series of blogs related to the 2016…

Part 6: The 2016 Wilson Research Group Functional Verification Study

Part 6: The 2016 Wilson Research Group Functional Verification Study

FPGA Language and Library Trends This blog is a continuation of a series of blogs related to the 2016 Wilson…

Prologue: The 2016 Wilson Research Group Functional Verification Study

Prologue: The 2016 Wilson Research Group Functional Verification Study

This is the first in a series of blogs that presents the findings from our new 2016 Wilson Research Group…

UVM: The Factory Powers Reuse

UVM: The Factory Powers Reuse

As I mentioned in my last UVM post, UVM allows engineers to create modular, reusable, randomized self-checking testbenches. In that…

Standards, Partners and Industry Collaboration Update

Standards, Partners and Industry Collaboration Update

Join us at the 53rd Design Automation Conference DAC is always a time of jam-packed activity with multiple events that…