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.
Henny Youngman and The Law of Unintended Consequences: Fish Fry Welcomes Eric Bogatin
What is the Meaning of Test?
Nobody Wants A Failed Prototype - System-Level Simulation with Clarity 3D Transient Solver
Return of VPX - Standards, Trends and Supply Chain Security
Terrible Things to Scare the Children: #adifferenthalloween with element14 and Black Hole Fuel
Radar to the Rescue: How Ainstein is Improving Our Safety through mmWave IoT Sensing
By the Electronics Design Community, For the Electronics Design Community: AltiumLive 2020 Preview and Carbon is the New Black
Intelligent Senses: Cyborg Locusts and First Humanoid Robot with Intelligent Vision
The Future of Connected Cars: Automotive Cybersecurity and Software Fluency with C2A Security
Pushing the Display Envelope : Pixelworks’ New AI-Driven Architecture and the World’s Largest Photo Ever Taken in a Single Shot
Adventures in Machine Learning: From Logic Simulation to Exoplanet Identification
The ElephantEdge Challenge: Developing The World's Most Advanced Elephant Tracking Collar
Calling All Secret Weapons: element14’s Fighting Germ Challenge and A New Way to Fight Superbugs
Constructing A Better Future: Building a Responsible Society through Edge Processing and Bricks for Energy Storage
Cylynt and Stealthy
Advancing into FinFET
From the Fish Fry Vault: The Great Shark Cafe
Running the Long Game: New RISC-V Based SoCs and Using Technosignatures to Find Alien Life
The Dividends of Persistence: Intel’s Optane Memory and Advances in DNA Storage
Hearing is Believing: Artificial Intelligence, Cough Patterns, and Stemming the Tide of COVID-19
Create your
podcast in
minutes
It is Free
Digital Production Buzz
Esri Video - All Channels (Small)
Syscast: talking linux, open source, web development and system administration (DevOps)
Fintech5
Divi Nation Podcast