← Front page

Machine Learning Street Talk · Sunday, June 28, 2026

Thomas Ahle on AI-Generated Chip Design and Verification Challenges

Thomas Ahle discusses the complexity of chip design, comparing it to software development and highlighting the high costs associated with commercial verification tools. He notes that while AI can generate extensive code for chip design, ensuring its correctness remains a significant challenge.

personThomas Ahle

The tape

3 quotes
So my background is in theoretical computer science. Then I moved to normal computing to develop thermal computing. Also to speed up patient intelligence. Sometimes I think about it as the lovable for chip design. So we take it all the way from your intent, through the design, through optimizing your design to formalizing and verifying your design, all the way to tape out.
Thomas Ahle
Because once a chip is fabricated, if there are any bugs, you're in big trouble.
Thomas Ahle
Commercial software costs a ridiculous amount of money and isn't very friendly to using agents.
Thomas Ahle
Heard on Machine Learning Street Talk — “The Thermodynamic AI Computing Chip - Thomas Ahle, published Sunday, June 28, 2026. Heardvine summarizes and quotes with attribution and timestamps, and links to the original everywhere.
Transcribed via Gemini audio transcription · $0.06
Thomas Ahle on AI-Generated Chip Design and Verification Challenges — Heardvine