@misc{indiciae5a57c8c8bab4,
  title = {ARSP: Automated Repair of Verilog Designs via Semantic Partitioning},
  author = {Bingkun Yao and Ning Wang and Xiangfeng Liu and Yuxin Du and Yuchen Hu and Hong Gao and Zhe Jiang and Nan Guan},
  year = {2025},
  url = {https://arxiv.org/abs/2508.16517},
  note = {Source identifier: 2508.16517}
}