In this week’s Fish Fry podcast, Ashish Darbari (Founder and CEO at Axiomise) joins me to chat about the past, present and future of formal verification. Ashish and I explore the three pillars of formal verification, how the perception of formal verification as changed over the years, and why we are seeing the increased adoption of formal verification today. Also this week, I delve into the details of a new immune-system-on-a-chip developed by the Wyss Institute at Harvard University.
Click here to download this episode
Links for March 25, 2022
More information about Axiomise
The immune system is very complicated, but now, it’s on a chip (Wyss Institute)
Ectopic Lymphoid Follicle Formation and Human Seasonal Influenza Vaccination Responses Recapitulated in an Organ-on-a-Chip (Wiley Online Library)
Click here to check out the Fish Fry Archive.
Click here to subscribe to Fish Fry via Podbean
Click here to get the Fish Fry RSS Feed
Click here to subscribe to Fish Fry via Apple Podcasts.
Click here to subscribe to Fish Fry via Spotify
Fish Fry Executive Interviews
Dave Kleidermacher, CTO – Green Hills Software
Michiel Ligthart, COO – Verific
Simon Davidmann, CEO – Imperas
Jessica Gomez – Rogue Valley Microdevices
Shishpal Rawat, Chairman – Accellera Systems Initiative
Kevin Bromber, CEO – myDevices
Daniel Hansson, CEO – Verifyter
Dr. Steven LeBoeuf, President – Valencell
Allan Martinson, COO – Starship Technologies
Zhihong Liu, Chairman and CEO – ProPlus Solutions
Taher Madraswala, CEO and President – Open-Silicon
Kapil Shankar, CEO and Director – AnDAPT
Kim Rowe, Founder and CEO — RoweBots
Lawrence Cooke, Founder and CEO — NovaSolix
Gregg Recupero, CTO — Performance-IP
Carl Alberty, Vice President – Cirrus Logic
Maximilian Odendahl, CEO — Silexica
Finbarr Moynihan, General Manager — MediaTek
Sanjay Pillay, CEO — Austemper
Harold Blomquist, CEO – Helix Semiconductor
Dale Dougherty and Sherry Huss, Co-Founders – Maker Faire
Chris Giovanniello, SVP and Co-Founder – Menlo Micro
Jake Janovetz, President – Opal Kelly
Jerry Gipper, Executive Director – VITA
Bob Smith, Executive Director – ESD Alliance
Rick O’Connor, Executive Director – RISC V Foundation
Naveed Sherwani, CEO and Yunsup Lee, CTO/Founder- SiFIve
Doug Letcher, CEO and President – Metrics Technologies
Jun Pei, CEO – Cepton Technologies
Dave Hughes, CEO – HCC Embedded
David Su, CEO – Atomic Technologies
Jess Isquith, President/CEO – PICMG
Galen Hunt, Distinguished Engineer and Managing Director, Microsoft Azure Sphere – Microsoft
Vinay Gokhale, VP Business Development – ThirdWayv
Kevin Hannah, Director of Product Operations- Kazuhm
Srinath Anantharaman, CEO – ClioSoft
Gajinder Panesar, CTO – UltraSoC and Tim Ramsdale, CEO – Agile Analog
Steve Cammish, VP of Edge Solutions – ADLINK
Adam Benzion, Co-Founder, Hackster.io
Michael Dick, CEO – C2A Security
Arun Subbarao, VP of Engineering – Lynx Software
Doug Sandy, Chief Technical Officer – PICMG
Stefan Müller, CTO and Founder – FMC
Paul Cunningham, Senior Vice President and General Manager- Cadence Design Systems
Mung Chiang, EVP and Dean of Engineering College – Purdue University
Andy Hock, Vice President, Product – Cerebras Systems
Dan Goehl, Co-founder and Chief Business Officer – UltraSense Systems
Charlie Green, Chief Operating & Technical Officer – Powercast
