Text this: 硬件描述语言代码缺陷自动调试技术研究综述.