))
The Art of Formal Verification – a chat with Ashish Darbari of Axiomise
Manage episode 403850269 series 3527547
Konten disediakan oleh AspenCore. Semua konten podcast termasuk episode, grafik, dan deskripsi podcast diunggah dan disediakan langsung oleh AspenCore atau mitra platform podcast mereka. Jika Anda yakin seseorang menggunakan karya berhak cipta Anda tanpa izin, Anda dapat mengikuti proses yang diuraikan di sini https://id.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 episode
Bagikan
