Hill-Climbing Chip Design with a Self-Improving Loop
Our loop beat the best frontier coding agent on all six design variants, and every design was bit-exact.
ARA LabOur loop beat the best frontier coding agent on all six design variants, and every design was bit-exact.
Our benchmark for AI on chip design, across CPU, accelerator and network design.
Every “timing closed” an agent claims should point to the tool report that proves it.
Using cheap lint, coverage, and early timing signals to choose the next design candidate.
A timing-closure campaign that remembers which paths fail, which fixes were tried, and how the slack changed.
A finished block hands off its failed floorplans and rejected experiments too, ready for the next team to rerun.
Agents write each hypothesis in a formal language that a checker can verify.
Controls, reruns, and audit logs, built into every experiment an agent runs.
We tested whether AI agents can take a real research experiment from setup to result.