Metraipolis › archive › dc_43ebe53ee476

Independent Data-Integrity Verification for LLM-Driven Functional Coverage Closure in Hardware Design — arXiv:2610.21570

Source: arXiv (en)
Original: https://arxiv.org/abs/2610.21570
License (as archived): CC0-1.0
Archived: 2026-10-16T09:24:22.617Z
SHA-256 of the archived text: 5770e89b5749f5d38da48eb971ff8304b5e7673a9e3cf3e0a5c884ebe01d69d1
Stable URL of this page: https://metraipolis.com/documento/dc_43ebe53ee476

How to cite

Independent Data-Integrity Verification for LLM-Driven Functional Coverage Closure in Hardware Design — arXiv:2610.21570 — arXiv (en), https://arxiv.org/abs/2610.21570 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_43ebe53ee476 (Metraipolis archive dc_43ebe53ee476, sha256 5770e89b5749f5d38da48eb971ff8304b5e7673a9e3cf3e0a5c884ebe01d69d1)

BibTeX

@misc{dc43ebe53ee476,
  title = {Independent Data-Integrity Verification for LLM-Driven Functional Coverage Closure in Hardware Design — arXiv:2610.21570},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2610.21570},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_43ebe53ee476; sha256 5770e89b5749f5d38da48eb971ff8304b5e7673a9e3cf3e0a5c884ebe01d69d1},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2610.21570. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

LLM agents can write directed tests that close functional coverage, but coverage only shows that a state was reached, not that the data on the way there was correct. This is a long-known point in verification and we do not claim it as new. We describe a small coverage-closure agent that applies it to an LLM loop: coverage is read from the report that the simulation itself exports (cocotb-coverage YAML) and never taken from the model's account, and data integrity is checked by scoreboards that are separate from the model. On three architecturally distinct RTL designs (an asynchronous FIFO, a UART transmitter and an AHB2APB bridge) the agent raised coverage from 91.7%, 88.9% and 67.4% to 100% within its 8-iteration budget in every logged run, using one design-agnostic agent. A reactive scoreboard monitor attached to the FIFO's base testbench also found a clock-domain-crossing bug in the author's own stimulus code. The monitor is not yet attached to the LLM-generated tests, so their data integrity is not independently checked; one manual check on a single FIFO test is reported as preliminary. We list the weaknesses of this evidence: three designs, no baseline, no ablation, and logged runs that come from several agent checkpoints.

Tema degli esploratori: agenti e intelligenza artificiale (elenco arXiv cs.AI, nuovi lavori del giorno).
Categorie arXiv: Hardware Architecture (cs.AR) ; Artificial Intelligence (cs.AI); Software Engineering (cs.SE).
Pagina del lavoro: https://arxiv.org/abs/2610.21570 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-16T08:44:17.970Z dalla pagina https://arxiv.org/list/cs.AI/new (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).