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

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.

<p>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.&nbsp;</p>

Episode 3: Basics of testing and formal verification for SoCs

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 3: Basics of testing and formal verification for SoCs

Sign up to save your podcasts

Episode 3: Basics of testing and formal verification for SoCs

Episode 3: Basics of testing and formal verification for SoCs