@misc{indiciaea5f9c7e607b5, title = {Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation}, author = {Ruiyang Ma and Daikang Kuang and Ziqian Liu and Jiaxi Zhang and Ping Fan and Guojie Luo}, year = {2025}, url = {https://arxiv.org/abs/2508.14414}, note = {Source identifier: 2508.14414} }