The Art Of Formal Verification – A Chat With Ashish Darbari Of Axiomise Embedded Edge podcast

Artwork

Tech News Tech News AspenCore

Contenido proporcionado por AspenCore. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente AspenCore o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

Embedded Edge « »
The Art of Formal Verification – a chat with Ashish Darbari of Axiomise

7M ago 29:00

Compartir

MP3•Episodio en casa

Contenido proporcionado por AspenCore. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente AspenCore o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.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.

… continue reading

38 episodios

#Tech #News #Tech News #AspenCore

Artwork

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

published 7M ago

Compartir

MP3•Episodio en casa

Contenido proporcionado por AspenCore. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente AspenCore o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.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.

… continue reading

38 episodios

#Tech #News #Tech News #AspenCore

Alla avsnitt

×

Bienvenido a Player FM!

Player FM está escaneando la web en busca de podcasts de alta calidad para que los disfrutes en este momento. Es la mejor aplicación de podcast y funciona en Android, iPhone y la web. Regístrate para sincronizar suscripciones a través de dispositivos.

Escucha más de 500 temas