Goodbye Blogger, Hello Static Site
Announcement The Verification Gentleman Blog will be moving from Blogger. Why? While Blogger was a great platform to start on, especially considering the fa...
Recent Posts
A Comparison of Formal and Simulation for a Simple, Yet Non-Trivial Design - Part 1
I've talked a lot about constrained random verification on the blog, but now it's time to branch out to formal verification. As a fun first post on the topic...
Favor Composition Over Inheritance - Even for Constraints
Simulation is currently the dominant functional verification technique, with constrained random verification the most widely used methodology. While producin...
Bigger Is Not Always Better: Builds Are Faster with Smaller Packages
One trend over the past few years is that the projects I've been working on tend to get bigger and more complicated. Bigger projects come with new challenges...
Testing SVA Properties and Sequences
After a pretty long absence, it’s finally time to complete the series on unit testing interface UVCs. I meant to write this post in October/November 2016. Wh...