Making Formal Verification the New Normal in IoT with Ashish Darbari - Founder, Axiomise | The IoT Podcast

In season 3 episode 6 of The IoT Podcast we connect with Ashish Darbari - Founder & CEO at Axiomise to discover how formal verification is being used to improve the quality, performance and security of IoT devices. 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/

Om Podcasten

IoT Talks and Tales The IoT Podcast is joined by the most influential leaders in IoT every Monday to break down the current and up & coming IoT trends, unravel the misconceptions, doubts and forecast predictions on the ongoing journey for the Internet of Things. This podcast will have something for everyone, whether you’re an entrepreneur searching for fresh ideas or the lessons learned, an engineer always looking to be one step ahead with the latest solutions, or someone with a pure enthusiasm for IoT. Every episode is unique and has a significant practical takeaway that you can use in your application or for your own inspiration or business. Ready to explore? Discover now.