Formal bytes: The Axiomise Podcast Channel

This week, Dr. Darbari talks to Michiel Ligthart. Discover Michiel's interesting journey from the Netherlands to the USA and find out how he ended being the president and chief operating officer of Verific Design Automation -  one of the most well-known names in the EDA industry. We talk about the impact Verific is making in the design of several EDA tools including one of our favorite formal tools that use Verific to compile 1.1 billion gate designs for functional formal verification in under an hour.