Formal bytes: The Axiomise Podcast Channel
Episode 16: Ten reasons to use formal verification
2020-06-16
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.
Comments (3)
More Episodes
All Episodes>>
Get this podcast on your phone, Free
Create Your Podcast In Minutes
- Full-featured podcast site
- Unlimited storage and bandwidth
- Comprehensive podcast stats
- Distribute to Apple Podcasts, Spotify, and more
- Make money with your podcast
It is Free
