New and Improved SystemVerilog 1800-2017

New and Improved SystemVerilog 1800-2017

The IEEE-SA has a policy of keeping standards active by making sure they get a cycle of updates every 10…

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. …

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…