Technology:Tech News
The Art of Predictability : How Axiomise is Making Formal Verification Mainstream
2022-03-25
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.
More Episodes
Chips, Chiplets, and Modules, Oh My!
2021-09-24
211
2021-09-24
211
Fish Fry Special Edition: Makers Today! Art by Physicist
2021-09-22
113
2021-09-22
113
Taking Piracy out of the Driver’s Seat
2021-09-03
120
2021-09-03
120
Fish Fry Special Edition: Makers Today! Max Maxfield
2021-08-24
170
2021-08-24
170
Machine Learning and The New Age of Intelligent Chip Design
2021-07-30
169
2021-07-30
169
The Hidden Security Risks of Automotive Electronic Systems
2021-07-23
171
2021-07-23
171
Fish Fry Special Edition: Makers Today! Lorraine Underwood
2021-07-21
104
2021-07-21
104
How LoRa Can Help Us Build a Smarter and Safer Planet
2021-06-24
127
2021-06-24
127
Fish Fry Special Edition: Makers Today! Karen Corbeill
2021-06-23
151
2021-06-23
151
Get this podcast on your
phone, FREE
