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

  • Feb 29 2024
  • Duración: 29 m
  • Podcast
The Art of Formal Verification – a chat with Ashish Darbari of Axiomise Por arte de portada

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

Escúchala gratis

Ver detalles del espectáculo

  • Resumen

  • 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.
    Más Menos
Más Menos

Lo que los oyentes dicen sobre The Art of Formal Verification – a chat with Ashish Darbari of Axiomise

Calificaciones medias de los clientes

Reseñas - Selecciona las pestañas a continuación para cambiar el origen de las reseñas.

Reseñas de Audible.com

Opiniones de Amazon
No hay comentarios disponibles