I recently read a couple of items on Assertion Synthesis. It got me thinking about how Assertion-based verification is utilized in the design/verification community and what is the best approach to an effective first silicon success methodology which utilizes ABV. Continue reading
Don’t get me wrong, I still create RTL, I just don’t “write it” anymore. OK, most of it anyway. I stopped “writing it” because I can’t hide from verification engineers.
The Solid Oak blog site was corrupted and lost. The previous posts were reposted.