Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation.

Ruiyang Ma, Daikang Kuang, Ziqian Liu, Jiaxi Zhang, Ping Fan, Guojie Luo

Browse the full ICCAD paper archive.