Pith Number

pith:QJIDUJWI

pith:2026:QJIDUJWIDOSRCL5BIJN2MCTV4W

not attested not anchored not stored refs pending

Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs

Alma Babbit, Aman Arora, Elias Hilaneh, Nakul Gopalan, Sean Lowe, Vidya Chhabria

Spec2Cov uses an LLM agent to generate and refine test stimulus from hardware design specifications, reaching full code coverage on simpler designs.

arxiv:2604.15606 v2 · 2026-04-17 · cs.AR

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{QJIDUJWIDOSRCL5BIJN2MCTV4W}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

Across 26 designs of varying size and complexity, including problems from the CVDP benchmark suite, Spec2Cov demonstrates promising performance, achieving 100% coverage on simpler designs and up to 49% on more complex designs.

C2weakest assumption

That an off-the-shelf LLM, guided only by coverage feedback and error messages, can produce stimulus that meaningfully advances coverage on realistic hardware without domain-specific fine-tuning or human repair of generated tests.

C3one line summary

Spec2Cov uses an LLM-simulator feedback loop to generate tests from specs, reaching 100% coverage on simple designs and up to 49% on complex ones across 26 benchmarks.

Receipt and verification

First computed	2026-05-22T02:04:41.238382Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

82503a26c81ba5112fa1425ba60a75e597221f855d3591eeb09f8021624bcb49

Aliases

arxiv: 2604.15606 · arxiv_version: 2604.15606v2 · doi: 10.48550/arxiv.2604.15606 · pith_short_12: QJIDUJWIDOSR · pith_short_16: QJIDUJWIDOSRCL5B · pith_short_8: QJIDUJWI

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/QJIDUJWIDOSRCL5BIJN2MCTV4W \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 82503a26c81ba5112fa1425ba60a75e597221f855d3591eeb09f8021624bcb49

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "31478f523e8a20c11f34e5fe868da56e1a3cac5f7a6b5e69190943f79058939d",
    "cross_cats_sorted": [],
    "license": "http://creativecommons.org/licenses/by-sa/4.0/",
    "primary_cat": "cs.AR",
    "submitted_at": "2026-04-17T01:08:54Z",
    "title_canon_sha256": "76ab438e29371498b83ff82eb2ae82c2f54b6d0fc23bd80dfbe71048698760d3"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2604.15606",
    "kind": "arxiv",
    "version": 2
  }
}