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.
Mission AI - Ethics, Sentience and the Future of Artificial Intelligence
Complex Processing in Embedded Systems: Radar, Lidar and the Need for High Performance DSPs
AI Everywhere (and for Everyone): Intel Builds A Bridge Between Data and Insight
The Speed of Iteration is the Speed of Innovation: How Groq is Accelerating Design Creation
5G and Laying the Foundation for the Next Generation of Wireless Communication
The Pursuit of Performance: How AI can Help Optimize Electronic System Design
Seeds for a New Day: Edge ML, Evolution of IoT and Artificial Leaves that Generate Clean Fuel
Re-Inventing Home Security: Infineon’s New AI/ML-based Smart Alarm System
Cloud First! Leveraging the Cloud for Your System Design
One Size Does Not Fit All: The Rise of Bespoke Silicon
U Can Touch This! BeBop Sensors Brings a Sense of Touch to Robots and More!
The Next Wave of Semiconductor Innovation
Fast Times in Supply and Demand: How the EDDI Report Can Help Determine How Difficult Sourcing Will Be
Faster AI! Go! Go!
The Currency of Data: Liquid Instruments’ Innovative Take on Software Defined Instrumentation
The Road Forward for IoT: Cellular, LoRa, and WiFi - Oh My!
Sowing the Seeds of Change: How Sustainability and Extending Product Life Cycles Can Help Ease Our Supply Chain Woes
Let’s Just Fly There! How the Center for Autonomous Vehicles in Air Transportation Engineering is Charting a Course for Flying Taxis
Let’s Get Spaced Out! New Space-Qualified FRAM and the Discovery of New Black Holes
AI to Save the Day: Athinia Uses Artificial Intelligence and Big Data to Help Solve Semiconductor Challenges
Create your
podcast in
minutes
It is Free
Urban Coffee
Less Than or Equal
TechVibe Radio
Digital Production Buzz
Hallway Chat