Formal Verification: Formal Bytes - Episode 3
Formal bytes: The Axiomise Podcast Channel - Podcast autorstwa Axiomise
Kategorie:
In this podcast, Dr Ashish Darbari talks about testing and formal verification for SoCs. He describes the basics of simulation-based-verification techniques such as constrained random verification, directed testing, emulation, and formal verification. Subscribe to our youtube channel and our newsletters at axiomise.com. Ping us at [email protected] with your suggestions, questions, and feedback.
