<p>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.</p>

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.

Episode 44: Formal Verification 101 - The power of formal is now in your hands

Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.

Share Episode 44: Formal Verification 101 - The power of formal is now in your hands

Sign up to save your podcasts

Episode 44: Formal Verification 101 - The power of formal is now in your hands

Episode 44: Formal Verification 101 - The power of formal is now in your hands