Formal Verification: Formal Bytes - Episode 5

Formal bytes: The Axiomise Podcast Channel - En podkast av Axiomise

Prøv Podimo gratis i hele 30 dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

Reklame

Kategorier:

Utdannelse Teknologi

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.

Visit the podcast's native language site