Sit back, relax, tune in and be the first to discover...

The IoT Podcast intro (00:00)

Ashish's technology journey (01:30)

How Axiomise was founded (05:39)

The difference between formal and traditional verification (09:40) Proof, stimulus and debug (15:59)

Challenges and misconceptions around formal (17:46)

Best practices and guidelines (20:18)

How has Formal Verification helped improve the quality, performance and security of IoT devices? (30:00)

What's the future for formal verification? (36:09)

Quick-fire questions (46:19)

Thank you to today's episode sponsor Akenza.io, sign up for a 30-day free trial of their self-service platform: https://auth.akenza.io/register?utm_medium=referral&utm_source=5vmedia&utm_campaign=theiotpodcast

ABOUT THE GUEST

Ashish Darbari is the Founder and CEO of Axiomise, the world's only formal verification training, consulting & services company that specializes in enabling formal verification in the semi-conductor industry. The vision of Axiomise is to enable all designers and verification engineers to use formal verification for the right reasons.

Connect with Ashish: https://www.linkedin.com/in/ashish-darbari/

Find out more about Axiomise: https://www.axiomise.com/

SUBSCRIBE TO THE IOT PODCAST: https://linktr.ee/theiotpodcast  Sign Up for exclusive email updates: https://theiotpodcast.com/  Contact us to become a guest/partner: https://theiotpodcast.com/contact/

Connect with host Brad King-Taylor: https://www.linkedin.com/in/brad5values/