Independent Data-Integrity Verification for LLM-Driven Functional Coverage Closure in Hardware Design
arXiv:2610.21570v1 Announce Type: cross Abstract: 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 the