Habr AI→ original

AI generated a chip design with a queue that in reality would have grown to the size of a lot

A telling failure in an AI-generated chip design: the model mishandled data flow control and embedded a huge FIFO queue that stored every transaction from…

AI-processed from Habr AI; edited by Hamidun News
AI generated a chip design with a queue that in reality would have grown to the size of a lot
Source: Habr AI. Collage: Hamidun News.
◐ Listen to article

Analysis of an AI-generated chip design revealed something unpleasant: the circuit looked plausible in a short test, but at the first increase in load, it became clear that hidden inside was an architectural decision that could not be transferred to real hardware. The story strikes at the popular idea of "don't look at the code, just run the tests" and shows why for hardware, such an approach is especially dangerous.

Where Logic Broke

The problem started with data flow management. Instead of correctly limiting, routing, or dropping transactions according to interface rules, the model generated a gigantic internal queue. Essentially, it decided not to deal with exchange dynamics and simply stockpile everything coming from the test to use later. On a small dataset, such a scheme might look reasonable: input exists, output exists, formal checks pass, no obvious errors on the surface. But this is precisely where the generative approach trap is hidden.

The model optimizes for local success in the observed scenario, not for physical realizability of the design. For software this is already unpleasant, but for digital circuit design it becomes a direct threat: any extra buffer is die area, power consumption, timing, and routing complexity. If AI doesn't understand environmental constraints, it easily offers a solution that works only on paper or in a narrow testbench.

Why Tests Didn't Save

In the original example, the test contained about 10 thousand transactions. As long as the volume was that, the design looked workable. But it took just doubling the number of events for the structure to immediately collapse: the queue overflowed, some data was lost, and the verification result stopped matching the manually written transaction model. That is, the bug didn't hide in some exotic corner of the system — it appeared with a minimal change in scale, which for a real project couldn't even be considered a stress test.

  • AI kept all test transactions inside the circuit
  • FIFO became a critical point of failure under increased load
  • Data loss broke verification against the reference model
  • A formally "working" design failed at simple scaling

The main conclusion here is that a test itself does not guarantee architectural correctness. If the testbench verifies behavior on a limited data volume, the model can adjust precisely to that range and hide a fundamental defect. In hardware, it's not enough to see a green test run status. You need to understand how the circuit behaves on long series, under backpressure, with peak burst loads, and in conditions where incorrect buffering instantly becomes a system error.

The Cost of Such Design

The author deliberately translates this error into physical consequences. If a similar block were put into a device operating at gigahertz frequency, hundreds of billions or even trillions of transactions could pass through it in minutes. That means the queue, which in the test was just an unfortunate abstraction, in silicon would require a monstrous volume of memory or a sea of D-triggers for flop-based FIFO. And this is no longer a question of pretty code — it's a question of whether such a chip can be manufactured at all, fit within a budget of die area, and powered without insane losses.

"That's a chip the size of a homestead plot."

This hyperbole works precisely because it's almost engineering, not literary. When the error scales to the real-time operation of a device, absurdity becomes visible. Two hundred trillion triggers for one scenario, quadrillions for the worst case — this is a way to quickly show the gap between test illusion and production common sense. AI can output syntactically neat RTL, but without understanding throughput, buffer capacity, and boundary conditions, such code remains a dangerous blank, not a design solution.

What It Means

This case illustrates well the boundaries of generative AI's usefulness in engineering. The model can speed up routine work, suggest templates, and help with drafts, but its output cannot be accepted without reading, simulation, and verification for physical realizability. For teams working with RTL and verification, the rule is simple: passed the test does not mean ready for silicon.

ZK
Hamidun News
AI news without noise. Daily editorial selection from 400+ sources. A product by Zhemal Khamidun, Head of AI at Alpina Digital.

Want to stop reading about AI and start using it?

AI News is a curated feed of AI/tech news. Hamidun Academy teaches you to use AI systematically in your work.

What do you think?
Loading comments…