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

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/

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(139)

Breaking the Lock-In Myth: The Reality of eSIM IoT

Breaking the Lock-In Myth: The Reality of eSIM IoT

Why was eSIM IoT supposed to solve vendor lock in, and why are new forms of lock-in still appearing across the industry?   eSIM IoT promised greater flexibility, more choice, and the ability to change...

14 Aug 49min

The Next Era of Intelligent Edge Devices I Edge of Tomorrow: The Edge AI Debate I

The Next Era of Intelligent Edge Devices I Edge of Tomorrow: The Edge AI Debate I

The next era of intelligent edge devices is taking shape - but what’s driving real-world deployment, and how are hardware and software evolving to keep pace with such a fast-moving ecosystem? Welcome...

17 Jul 44min

How To become a True Solution Provider | Dominik Kujawski - Co-CEO at needCode | The IoT Podcast

How To become a True Solution Provider | Dominik Kujawski - Co-CEO at needCode | The IoT Podcast

Why do so many IoT and embedded projects become harder to deliver as they scale, even when the technology itself works? As IoT and embedded projects scale, the challenge shifts from simply developing ...

7 Mai 48min

Can We Trust Edge AI? | Edge of Tomorrow: The Edge AI Debate with Ros Cammarota & Aydin Aysu

Can We Trust Edge AI? | Edge of Tomorrow: The Edge AI Debate with Ros Cammarota & Aydin Aysu

What does “trust” really mean when AI lives at the edge? Welcome to Edge of Tomorrow – The Edge AI Debate, our spin-off series from The IoT Podcast, created in collaboration with the  @edgeaifoundatio...

15 Jan 40min

Tooling, Frameworks & the Future of Edge AI | Edge of Tomorrow - The Edge AI Debate

Tooling, Frameworks & the Future of Edge AI | Edge of Tomorrow - The Edge AI Debate

Edge AI is evolving quickly - what’s changing in the tooling and frameworks that support it? And where do the biggest opportunities for improvement lie? In this episode of Edge of Tomorrow – The Edge ...

8 Jan 32min

Where Will the Next Billion-Dollar Ideas Come From in the AI Era? | Yasser Alsaied | The IoT Podcast

Where Will the Next Billion-Dollar Ideas Come From in the AI Era? | Yasser Alsaied | The IoT Podcast

What does it really take to build the next billion-dollar idea? And why do some innovative ideas scale fast… while others quietly disappear? In this episode of The IoT Podcast, host Tom White sits dow...

18 Des 20251h 22min

Programmable Mobile: The Connectivity Shift No One Can Ignore with Stacuity's Tim Dowling & John Freeman

Programmable Mobile: The Connectivity Shift No One Can Ignore with Stacuity's Tim Dowling & John Freeman

What does it take to rebuild the way mobile connectivity works for IoT? And why are operators, MVNOs, and enterprises starting to rethink how much visibility and control they should have over their ne...

4 Des 20251h 3min

Closing the Gap: Closing the Gap: How to Get Edge AI To Users Faster | Edge of Tomorrow: The Edge AI Debate with Rajesh Subramaniam (embedUR Systems) &   Reza Kazerounian (Alif Semiconductor)

Closing the Gap: Closing the Gap: How to Get Edge AI To Users Faster | Edge of Tomorrow: The Edge AI Debate with Rajesh Subramaniam (embedUR Systems) & Reza Kazerounian (Alif Semiconductor)

Edge AI is evolving fast - but how do we accelerate the path from development to deployment, and get real products into users’ hands sooner? Welcome to the Edge of Tomorrow - The Edge AI Debate, our b...

26 Jun 202558s

Populært innen Teknologi

lydartikler-fra-aftenposten
tomprat-med-gunnar-tjomlid
teknisk-sett
shifter
rss-ai-forklart
elektropodden
hans-petter-og-co
fornybaren
rss-ki-praten
rss-alt-som-gar-pa-strom
pedagogisk-intelligens
smart-forklart
rss-bak-skyen
rss-digitaliseringspadden
energi-og-klima
rss-ki-til-kaffen
teknologi-og-mennesker
kortslutning
rss-grenser-for-ki
sosialt-sett-om-teknologi-kommunikasjon-og-livet-i-mellom