TY  - RPRT
TI  - Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update
AU  - Shibo Zhao
AU  - Yang Zhang
AU  - Mengxia Tao
AU  - Baoqi Zhang
AU  - Kezhi Li
AU  - Qiang Xu
AU  - Binwu Zhu
AU  - Hao Yan
AU  - Min Li
PY  - 2026
UR  - https://arxiv.org/abs/2608.12684
ID  - 2608.12684
ER  -