TY  - RPRT
TI  - ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
AU  - Bingkun Yao
AU  - Ning Wang
AU  - Xiangfeng Liu
AU  - Yuxin Du
AU  - Yuchen Hu
AU  - Hong Gao
AU  - Zhe Jiang
AU  - Nan Guan
PY  - 2025
UR  - https://arxiv.org/abs/2508.16517
ID  - 2508.16517
ER  -