@misc{indiciae0bc59899857f,
  title = {Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update},
  author = {Shibo Zhao and Yang Zhang and Mengxia Tao and Baoqi Zhang and Kezhi Li and Qiang Xu and Binwu Zhu and Hao Yan and Min Li},
  year = {2026},
  url = {https://arxiv.org/abs/2608.12684},
  note = {Source identifier: 2608.12684}
}