Tech Podcast: Embedded Edge "The Art of Formal Verification – A Chat w/ Ashish Darbari of Axiomise"

In this podcast episode, we talk about formal verification (FV) with Dr Ashish Darbari, founder, and CEO of Axiomise. We talk about the role of FV in enabling designs to be shipped bug-free, how FV helps developers and where it fits in the design flow, whether it’s in embedded AI, IoT or high-performance computing (HPC). We also learn about Axiomise – from the company’s founding in 2017 to its impact in today’s embedded world.

🎙 Listen to more EE Times On Air podcasts on power, embedded, AI, and more: https://www.eetimes.com/podcasts/?utm_source=youtube&utm_medium=eetimes&utm_campaign=youtubepodcasts_eetc

🎥 Don't miss an episode and subscribe to our YouTube channel: https://www.youtube.com/channel/UCMMLsicGD2Zazw6xtPELWqg

Stay up to date with the latest news in the electronics industry
➡️ EE Times: https://www.eetimes.com/?utm_source=youtube&utm_medium=eetimes&utm_campaign=youtubepodcasts_eetc
➡️ Power Electronics News: https://www.powerelectronicsnews.com/?utm_source=youtube&utm_medium=eetimes&utm_campaign=youtubepodcasts_eetc
➡️ Embedded: https://www.embedded.com/?utm_source=youtube&utm_medium=eetimes&utm_campaign=youtubepodcasts_eetc
➡️ EDN: https://www.edn.com/?utm_source=youtube&utm_medium=eetimes&utm_campaign=youtubepodcasts_eetc

📰 Subscribe to our newsletter: https://aspencore.dragonforms.com/loading.do?omedasite=EventSubscription&pk=YOUTUBE

🎤 Check out our virtual events on EE Times: https://events.eetimes.com/?utm_source=youtube&utm_medium=eetimes&utm_campaign=youtubepodcasts_eetc

Interested in advertising opportunities? Reach out to sales@aspencore.com

Видео Tech Podcast: Embedded Edge "The Art of Formal Verification – A Chat w/ Ashish Darbari of Axiomise" канала EE Times