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.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
