With DVCon U.S. next week, it’s appropriate to do a post on verification. I chose formal verification, a mathematical way of checking the behavior of a system to ensure that it works as intended.
To better understand formal and attempt to demystify it, I got in touch with ESD Alliance member Axiomise and its founder Dr. Ashish Darbari, CEO and Founder of Axiomise. Ashish is a well-known figure in verification circles for his formal expertise –– he received a Doctorate Formal Verification from the University of Oxford. Our conversation helped me appreciate and better understand the practical reasons why formal verification is becoming an important element in the verification toolbox.
I’m giving a talk at DVCon during Accellera’s lunch Monday on the CHIPS Act and its impact of the design and verification markets. Watch for a blog post from me about it.
