7.6K
Downloads
50
Episodes
Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.
Episodes
Jun 16, 2020
Jun 16, 2020
20 min
In this podcast, Dr. Ashish Darbari outlines the ten reasons why formal verification should be used. Save money, find more bugs, find bugs quicker, prove bug absence, ship safe and secure chips.
No comments yet. Be the first to say something!