计算机工程与科学

作者：徐建军, 何枷瑜, 吴江, 毛晓光

单位：国防科技大学计算机学院，湖南 长沙 410073

关键词：硬件描述语言,缺陷调试；缺陷定位；程序自动修复,

代码缺陷是硬件设计中常见且严重的问题。在开发和维护阶段，缺陷调试对于硬件开发人员来说目前仍然是一项高度手动且耗时的任务。将硬件开发人员从繁重的调试任务中解放出来已成为硬件验证领域的迫切需求，因此针对硬件描述语言的代码缺陷自动调试技术应运而生，并逐渐成为一个热门的研究热点。为了整理这方面的工作，对硬件描述语言代码缺陷自动调试技术相关研究进行了调研分析，从缺陷分析、缺陷自动检测及定位和缺陷自动修复3个方面对自动调试技术研究进展进行了阐述和分析，并讨论了当前技术的局限性以及面临的挑战。

来源：2025年第10期

《计算机工程与科学》期刊编辑部

查看计算机工程与科学杂志2025年第10期