Presentation
Who Verifies the Verifier? Trust and Accountability in the Age of Autonomous EDA Agents
DescriptionThe Electronic Design Automation (EDA) industry is currently undergoing a "Cambrian Explosion" of agentic AI, where Large Language Models (LLMs) and Reinforcement Learning (RL) agents are no longer just assistants but primary drivers of testing, debugging, and synthesis. While these autonomous systems promise to solve the engineering talent gap and optimize PPA (Power, Performance, Area) beyond human capability, they introduce a radical non-determinism into a field that has historically demanded absolute precision. We are essentially replacing verified, hard-coded algorithms with probabilistic "black boxes" that are susceptible to hallucinations, subtle functional inaccuracies, and adversarial breaches that can bypass traditional verification guardrails.
The integrity of this new AI-driven flow is further threatened by the "Ouroboros Effect": the massive influx of generative synthetic data used to train the next generation of EDA models. As autonomous agents begin to train on the outputs of their predecessors, the risk of ";self-poisoning" or model collapse increases, leading to a loss of the rare, "edge-case" wisdom that human engineers provide. This panel will confront the central
paradox of modern design: if our verification tools are now driven by the same fallible AI models they are meant to check, we face a crisis of trust. We must determine if we are building a more efficient future or simply automating the creation of "silent" hardware vulnerabilities that will only manifest in silicon.
The integrity of this new AI-driven flow is further threatened by the "Ouroboros Effect": the massive influx of generative synthetic data used to train the next generation of EDA models. As autonomous agents begin to train on the outputs of their predecessors, the risk of ";self-poisoning" or model collapse increases, leading to a loss of the rare, "edge-case" wisdom that human engineers provide. This panel will confront the central
paradox of modern design: if our verification tools are now driven by the same fallible AI models they are meant to check, we face a crisis of trust. We must determine if we are building a more efficient future or simply automating the creation of "silent" hardware vulnerabilities that will only manifest in silicon.
Event Type
Research Panel
TimeMonday, July 271:30pm - 3:00pm PDT
LocationMtg Room 104A
AI