Latest posts

TinyALU and its BFMs

Cocotb Bus Functional Models

In this series we’re talking about using Python as the testbench software in this testbench diagram: The testbench software uses…

Getting Started with Questa Memory Verification IP

By Chris Spear & Kamlesh Mulchandani  Introduction The best way to create a System on a Chip is with design…

Proxy-Testbench

Introduction to Coroutines

In the first post of this series on Python verification we discussed the proxy-driven testbench and how a proxy-driven architecture…

Now Available: Verification Horizons - March 2021

DVConUS Issue of Verification Horizons is Now Available

I’m pleased to announce that our March, 2021 issue of Verification Horizons is now available, just in time for DVCon…

Finding FUN – DPI-C Recording C Variables in a Wave Database

Pandemic? Cold freeze? No Power? Ugh. What a 12 months. And all that’s unfolded. I’m looking for some fun. I…

Getting Started with Questa Verification IP for Protocols

The best way to create a System on a Chip is with design IP: blocks that perform common functions such…

Epilogue: The 2020 Wilson Research Group Functional Verification Study

This is the last in a sequence of blogs that presents the findings from our new 2020 Wilson Research Group…

SystemVerilog

The Semantics of SystemVerilog Syntax

Trying to grasp any programming language from scratch can be a difficult task, especially when you start by reading the…

Conclusion: The 2020 Wilson Research Group Functional Verification Study

Deeper Dive into Non-Trivial Bug Escapes This blog is a continuation of a series of blogs related to the 2020…