))
The Art of Formal Verification – a chat with Ashish Darbari of Axiomise
Manage episode 403850269 series 3527547
Content provided by AspenCore. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by AspenCore or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
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.
35 episodes
Share
