The Art of Formal Verification – a chat with Ashish Darbari of Axiomise

Embedded Edge
29/02/2024 29 min
The Art of Formal Verification – a chat with Ashish Darbari of Axiomise

Listen "The Art of Formal Verification – a chat with Ashish Darbari of Axiomise"

Descargar episodio Ver en sitio original

Episode Synopsis

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.  

More episodes of the podcast Embedded Edge

Shaping the Future of the Smart Home: Infineon’s Vision on Security, Power, and Edge AI 03/10/2025
Smarter at the Edge: TI’s Vision for AI-Driven Connectivity 19/09/2025
Innovation in Medical IoT – Wearable Biometrics, AI in Healthcare, and New Devices 17/06/2025
Nordic PMICs – Integrated, Flexible, and Easy-to-Use 11/06/2025
Next-Gen Edge AI Wireless Connectivity: Trends, Challenges & Innovations 04/03/2025
Securing the Future: Software’s Innovations in Safety and Security 31/01/2025
Innovations and Insights into Embedded Antennas 20/01/2025
Revolutionizing Wireless: AI’s Role in Shaping 5G and Beyond 03/01/2025
AI at the Edge Advances IoT to the Next Level 10/12/2024
From Silicon to Light: A Journey to Smarter, Greener AI 11/11/2024
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA