硬件描述语言代码缺陷自动调试技术研究综述. - 徐建军; 何枷瑜; 吴 江; 毛晓光 (Computer Engineering & Science / Jisuanji Gongcheng yu Kexue, 2025)