Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation. - Ruiyang Ma; Daikang Kuang; Ziqian Liu; Jiaxi Zhang 001; Ping Fan; Guojie Luo (CoRR, 2025)