A contract-first, proof-guided multi-agent workflow can evolve validated RTL to a new version, demonstrated on a TPU datapath block adding TF32 support.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AR 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update
A contract-first, proof-guided multi-agent workflow can evolve validated RTL to a new version, demonstrated on a TPU datapath block adding TF32 support.