[Preface: I briefly interrupt my series on The Many Flavors of Equivalence Checking to share this report on an important…
Join us Thursday, November 21, 2019 at our offices in Fremont, CA for the Mentor and TowerJazz Automotive Workshop. Register…
Is It Safe? It depends. What is the context? Economy? Geo-political situation? Teenage drivers? UVM? I don’t know. Do you…
I’ve written extensively about agile development from the point of a verification engineer. From the beginning, I’ve been firmly of…
Mentor Joins Arm® Functional Safety Ecosystem Mentor is pleased to join the Arm Functional Safety Partner program to bring our…
If you have a passion for design and verification, then I highly recommend that you check out the DVClub. The…
It’s not too late to register for our two-part webinar on faster formal verification. This week and next we will…
Depending on the revolution and who you happen to be within it, revolution is a risk to avoid at all…
In its simplest form, a constraint is nothing more than a Boolean expression with random variables where the solver is…
