Creating UVM Tests Dynamically
Everyone who uses UVM knows that using the library ofter requires large amounts of boilerplate code. Tests are no exception.
Recent Posts
Goodbye Blogger, Hello Static Site
Announcement
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...