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.
December 5, 2017
Ashish Darbari concludes his series on the need for new verification strategies by considering Debug and Signoff & Review.
November 29, 2017
In part two of this series, Ashish Darbari introduces a checklist to address verification challenges and build the meta model.
May 7, 2013
Better upfront analysis can help avoid propagating errors from RTL into the netlist, and reveal a number of ways to improve the quality of your final design.
August 23, 2012
The verification challenge is best addressed by a combination of highly targeted tools, according to Pranav Ashar, CTO of Real Intent.