In this episode, Thomas Ahle discusses the development of thermodynamic computing chips and the challenges of chip design automation using AI agents. He explains how his team built an open-source Verilog simulator with AI collaboration to o…
thermodynamic computingchip design automationformal verificationVerilog simulationAI agentsopen source EDAcontinual learningprobabilistic machine learninghardware-software co-designauto formalizationsoftware complexityAI-generated codeBayesian inferencestochastic differential equationsMarkov chain Monte Carlodiffusion modelsneural network accelerationrecursive self-improvementAI safetyagentic coding