Episode 44: Formal Verification 101 - The power of formal is now in your hands
Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise

Categories:
This week we discuss our new formal verification course launched on 6 April, last week. If you're looking to understand how to apply formal methods, especially for industrial projects in VLSI, then we have something for you.