Whether developing tests for software or hardware, test development seems to follow a pretty predictable process: learn about the thing…
In formal verification, proving all of your properties is pretty much the main goal of the whole exercise – if…
No one ever said that functional verification was easy. In fact, from a computer science theoretical perspective verification is considered…
Accellera Systems Initiative recently closed its public comment review period for the Portable Test and Stimulus Standard Early Adopter (EA)…
When I think of DVCon, I think of the premiere industry-focused conference on functional verification. Today, DVCon has expanded globally…
I recently read a novel that involved the investigation of the crash of Marine One, the U.S. President’s helicopter. The…
[Preface: If you are going to be at ARM Techcon 2017 on Wednesday October 25, the methodology described in this…
Separation of concerns is a key computer-science design principle to ensure creation of modular programs. Quoting from Wikipedia, “A concern…
Welcome back from Summer! Now that we’re all re-focusing on work after vacations, I wanted to remind everyone about a…