Formal bytes: The Axiomise Podcast Channel
Episode 5: Why processors need formal verification?
2020-03-28
Dr. Darbari talks about why processors need formal verification in the latest podcast. He describes why processors are complex, and why formal verification is a necessity.
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
