Fun and Games with CRV: Einstein’s Puzzle (Revisited)
Two weeks ago, Aurelian from AMIQ published a post on how to solve the so-called Einstein's puzzle using e. At the end, he challenged us readers to try and i...
e (IEEE 1647)
vr_ad Twin Registers
In their quest to come up with ever more efficient architectures, concept engineers sometimes do crazy things. Twin registers (also called multiview register...
Experimental Cures for Flattened Register Definitions in vr_ad, Part 2
We've already talked about how to handle flattened register definitions from a modeling point of view in this post. This other post also showed us that acces...
Working with Multiple Instances of vr_ad Registers
The devices that we verify often have multiple instances of a certain register type. These registers are instantiated in a regular structure inside the desig...
Experimental Cures for Flattened Register Definitions in vr_ad
On my current project, I had an issue with my register definitions. Quite a few of my DUT's registers where just instances of the same register type. My vr_a...
Using indirect_access(…) in vr_ad
I've been working a lot with vr_ad lately. It has a lot of nice features for modeling registers, but unfortunately not all of them are documented. I'm going ...
A Quick Look at eUnit
Earlier this month I started a new project. I'm using Specman again, so this means you'll probably see more e related posts in the future. In a previous post...
Disabling Field Checks in vr_ad
Register packages are an awesome tool to easily implement checks on the behavior of our DUT by holding a copy of its state inside a register model. When ever...
“What are you implying?” - Overlapped Implication in e
A feature where SystemVerilog really shines for hardware verification is its assertion language. Making it easy to specify complex requirements in a clear an...
Custom Field Access Policies in vr_ad
A big part of verifying a design is checking its registers. A register packages is usually used to accomplish this task. It provides an abstract way of descr...