September 7, 2020
But you were NOT afraid to ask.... It's time for some answers.
May 8, 2018
Ashish Darbari describes a formal technique that fuels a rapid, predictable and highly effective methodology.
May 4, 2018
Lauro Rizzatti gets a reality check on AI for both design tools and designs themselves from the formal verification specialist.
January 26, 2018
If we thought about verfication-for-security in a different way, the Spectre and Meltdown vulnerabilities could well have been avoided.
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.
August 31, 2017
Doc Formal concludes his introduction to formal verification with a practitioner's view of the technology.
July 21, 2017
Doc Formal begins a two-part series by describing the solid and well-established foundations of formal verification.
May 22, 2017
Our new columnist introduces himself and traces the progress of formal verification over the last two decades. Join the discussion.
September 24, 2015
High-level synthesis provides a way to explore hardware architectures to come up with the most efficient implementation for a given situation. But it has taken time for verification techniques to catch up with the idea and ensure design and architecture match.