August 27, 2020
The world of ATPG just changed with the introduction of a new way to create and choose the most effective test patterns.
February 23, 2018
Why is formal verification not getting the traction it should. The good doctor has some thoughts on that... and a new solution.
May 22, 2017
Our new columnist introduces himself and traces the progress of formal verification over the last two decades. Join the discussion.