Amelia's Weekly Fish Fry

The Art of Predictability : How Axiomise is Making Formal Verification Mainstream

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.

 

The Rise of Smart Machines: How MicroAI is Accelerating the Development of Machines that Self Diagnose

Artificial intelligence is the name of the game in this week’s podcast. My guest is Yasser Kahn - Founder and CEO of MicroAI. Yasser and I chat about what sets MicroAI apart from other edge AI providers, the benefits of proactive maintenance at the edge versus the cloud, and how MicroAI is advancing the next generation of smart machines. Also this week, I take a closer look at how DeepMind's new deep neural network – called Ithaca – is unlocking the secrets of ancient texts. 

 

Minding the SoC Verification Gap: How Breker’s Trek Apps Solve Specific Common Verification Challenges

SoC verification takes center stage in this week’s podcast! Dave Kelf (CEO of Breker) joins us to discuss why coherency is crucial to system-level verification today, the details of Breker’s new TrekApps, and how these applications can help us bridge the SoC verification gap in our next SoC designs. Also this week, I take a closer look at how a new research project at University of Illinois Urbana-Champaign could finally make DNA a feasible solution for data storage. (Spoiler Alert: They added seven new letters to the DNA alphabet!) 

 

Adventures in Brain Computer Interfaces: How AE Studio is Advancing Innovation in the World of BCI

What if your computer could receive directions directly from your thoughts? No keyboard or mouse required? That is exactly what we talk about in this week’s Fish Fry podcast! Evan Coopersmith (EVP of Data Science at AE Studio) joins me to discuss the newest advancements in brain computer interface technology. Evan and I chat about the details of the recent Neural Latents Benchmark Challenge, how AE Studio is leveraging their expertise in machine learning to encourage innovation in BCI technology, and why neuroethical principles that increase human agency are vital to the future of brain computer interface technology.

 

Lift Every Voice: How Sensory is Using AI to Pave the Way for Better Voice Technology

Do you hear what I hear? I hear some fish fryin’! In this week’s podcast, Todd Mozer (Chairman & CEO of Sensory) joins us to discuss the future of voice control and speech recognition in electronic design. We discuss Sensory’s new cloud-based voice and vision AI service called sensoryCloud.ai, how this new service allows companies to have full AI deployments and the data generated from them, the details of their speech recognition solutions aimed at children’s voices, and where Todd thinks voice control in automotive designs are headed in the future. Also this week, I take a closer look at what really happens in the brain when hearing becomes listening and how new research from the University of Basel may have unlocked the key to solving this age-old question.

Verification for You and Me! DVCon U.S. 2022 and The New Cadence Midas Safety Platform

Design verification is the name of the game of this week’s Fish Fry podcast. First up, John Dickol (DVCon 2022 U.S. Program Chair) and I chat about this year’s DVCon Virtual Conference, the new two stage paper submission process for this year’s conference and what you can expect by attending. Also this week, Robert Schweiger (Cadence) joins me to discuss why standardization is crucial to functional safety design today and the details of Cadence’s new Comprehensive Safety Solution for Faster Certification of Automotive and Industrial Designs.

Changing the UI and UX Paradigm One Touch at a Time

In this week’s podcast, super tiny technology is taking center stage! First up, I check out world’s first and smallest sensor that can enable touch gestures through any material. Dan Goehl (Co-founder and Chief Business Officer at UltraSense Systems) joins me to discuss how UltraSense’s new 3D ultrasound sensor is going to usher in a whole new era in user interfaces. Also this week, I investigate the world’s smallest antenna developed by a group of researchers at the Université de Montréal and how this new nanoantenna will help scientists better understand nanotechnologies and identify new drugs.

One Standard to Rule them All: Matter and the Search for IoT Interoperatability

It’s the first week of 2022 and I’ve got Matter on my mind! In this week’s Fish Fry podcast, we are talking about the Matter open standard, which promises to transform the future of IoT connectivity. First, Roman Baker (VP of Software development at Infineon) joins me to discuss the development of this open standard and why Matter is so important to the future of IoT. Next, Sonal Chandrasekharan (Vice President of Bluetooth Products -  Infineon IoT Compute and Wireless Business Line) and I chat about Infineon’s recent expansion of their Matter-supporting wireless portfolio and what Infineon’s roadmap for the future looks like when it comes to this new open standard.

 

 

The Most Important Compute Workloads of a Generation: How Cerebras Systems is Accelerating AI’s Potential

It’s a bird, it's a plane, it's the largest AI processor ever made!  In this week’s Fish Fry podcast, Andy Hock (Cerebras Systems) joins me to chat about the largest AI processor ever made -  the 7 nm wafer scale engine 2, the details of their brain-scale AI training, and how Cerebras Systems is democratizing access to high performance AI computation. Also this week, I check out a new kickstarter campaign called the SPORTSMATE 5: the world’s first and lightest portable wearable robotic exoskeleton that aims to alter the way we interact with the world by applying exoskeletons to daily life. 

 

A New Anti-Piracy Server Certification Protocol and A New Way to Simplify Quantum Computers

In honor of the SEMICON West 2021 and the Design Automation Conference that took place in San Francisco this week, my guest is Bob Smith from ESD Alliance. Bob and I are chatting about a new anti-piracy server certification protocol for software license management and why this kind of server certification protocol is needed now more than ever before. Also this week, I take a closer look at a new simplified quantum computer developed by a team of researchers at Stanford University. (Spoiler Alert: They use off the shelf parts!)