September 7, 2020
But you were NOT afraid to ask.... It's time for some answers.
May 6, 2020
How to combine formal and dynamic verification within an app to uncover security vulnerabilities.
August 9, 2019
Doc Formal rounds up some of the the key observations about verfication made during July’s Synopsys VC Formal SIG event in India.
January 7, 2019
Escape formal's narrower definitions with a flow that shows you how to Avoid, Detect, Erase, Prove Absence and Tape Out while avoiding bugs.
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.