))
The Art of Formal Verification – a chat with Ashish Darbari of Axiomise
Manage episode 403850269 series 3527547
Sisällön tarjoaa AspenCore. AspenCore tai sen podcast-alustan kumppani lataa ja toimittaa kaiken podcast-sisällön, mukaan lukien jaksot, grafiikat ja podcast-kuvaukset. Jos uskot jonkun käyttävän tekijänoikeudella suojattua teostasi ilman lupaasi, voit seurata tässä https://fi.player.fm/legal kuvattua prosessia.
In this 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.
34 jaksoa
Jaa
