TY  - RPRT
TI  - Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation
AU  - Ruiyang Ma
AU  - Daikang Kuang
AU  - Ziqian Liu
AU  - Jiaxi Zhang
AU  - Ping Fan
AU  - Guojie Luo
PY  - 2025
UR  - https://arxiv.org/abs/2508.14414
ID  - 2508.14414
ER  -