Independent Data-Integrity Verification for LLM-Driven Functional Coverage Closure in Hardware Design
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…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
