View in EDS PDF Full Text

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

Saved in:
Bibliographic Details
Title: 硬件描述语言代码缺陷自动调试技术研究综述.
Alternate Title: Review on automated debugging of hardware description language code.
Authors: 徐建军1 jjxu@nudt.edu.cn, 何枷瑜1, 吴 江1, 毛晓光1
Source: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue. Oct2025, Vol. 47 Issue 10, p1799-1809. 11p.
Subjects: Computer hardware description languages, Debugging, Defect tracking (Computer software development), Integrated circuit verification, Failure analysis
Abstract (English): Code defects are common yet critical issues in hardware design. During the development and maintenance phases, defect debugging remains a highly manual and time-consuming task nowadays for hardware developers. How to free hardware developers from arduous debugging tasks has become a pressing need in the field of hardware verification. Consequently, automated debugging technologies for hardware description language (HDL) code defects have emerged and gradually become a research hotspot. To systematically organize the work in this field, this paper conducts a survey and analysis of research on automated debugging technologies for HDL code defects. It elaborates and analyzes the research progress of automated debugging technologies from three aspects -- the defect analysis, automated defect detection and localization, and automated defect repair. Additionally, it discusses the limitations of current technologies and the challenges they face. [ABSTRACT FROM AUTHOR]
Abstract (Chinese): 代码缺陷是硬件设计中常见且严重的问题。在开发和维护阶段,缺陷调试对于硬件开发人员 来说目前仍然是一项高度手动且耗时的任务。将硬件开发人员从繁重的调试任务中解放出来已成为硬件 验证领域的迫切需求,因此针对硬件描述语言的代码缺陷自动调试技术应运而生,并逐渐成为一个热门的 研究热点。为了整理这方面的工作,对硬件描述语言代码缺陷自动调试技术相关研究进行了调研分析,从 缺陷分析、缺陷自动检测及定位和缺陷自动修复3个方面对自动调试技术研究进展进行了阐述和分析,并 讨论了当前技术的局限性以及面临的挑战。 [ABSTRACT FROM AUTHOR]
Copyright of Computer Engineering & Science / Jisuanji Gongcheng yu Kexue is the property of Computer Engineering & Science and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 189378392
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: 硬件描述语言代码缺陷自动调试技术研究综述.
– Name: TitleAlt
  Label: Alternate Title
  Group: TiAlt
  Data: Review on automated debugging of hardware description language code.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22徐建军%22">徐建军</searchLink><relatesTo>1</relatesTo><i> jjxu@nudt.edu.cn</i><br /><searchLink fieldCode="AR" term="%22何枷瑜%22">何枷瑜</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22吴+江%22">吴 江</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22毛晓光%22">毛晓光</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Computer+Engineering+%26+Science+%2F+Jisuanji+Gongcheng+yu+Kexue%22">Computer Engineering & Science / Jisuanji Gongcheng yu Kexue</searchLink>. Oct2025, Vol. 47 Issue 10, p1799-1809. 11p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+hardware+description+languages%22">Computer hardware description languages</searchLink><br /><searchLink fieldCode="DE" term="%22Debugging%22">Debugging</searchLink><br /><searchLink fieldCode="DE" term="%22Defect+tracking+%28Computer+software+development%29%22">Defect tracking (Computer software development)</searchLink><br /><searchLink fieldCode="DE" term="%22Integrated+circuit+verification%22">Integrated circuit verification</searchLink><br /><searchLink fieldCode="DE" term="%22Failure+analysis%22">Failure analysis</searchLink>
– Name: Abstract
  Label: Abstract (English)
  Group: Ab
  Data: Code defects are common yet critical issues in hardware design. During the development and maintenance phases, defect debugging remains a highly manual and time-consuming task nowadays for hardware developers. How to free hardware developers from arduous debugging tasks has become a pressing need in the field of hardware verification. Consequently, automated debugging technologies for hardware description language (HDL) code defects have emerged and gradually become a research hotspot. To systematically organize the work in this field, this paper conducts a survey and analysis of research on automated debugging technologies for HDL code defects. It elaborates and analyzes the research progress of automated debugging technologies from three aspects -- the defect analysis, automated defect detection and localization, and automated defect repair. Additionally, it discusses the limitations of current technologies and the challenges they face. [ABSTRACT FROM AUTHOR]
– Name: Abstract
  Label: Abstract (Chinese)
  Group: Ab
  Data: 代码缺陷是硬件设计中常见且严重的问题。在开发和维护阶段,缺陷调试对于硬件开发人员 来说目前仍然是一项高度手动且耗时的任务。将硬件开发人员从繁重的调试任务中解放出来已成为硬件 验证领域的迫切需求,因此针对硬件描述语言的代码缺陷自动调试技术应运而生,并逐渐成为一个热门的 研究热点。为了整理这方面的工作,对硬件描述语言代码缺陷自动调试技术相关研究进行了调研分析,从 缺陷分析、缺陷自动检测及定位和缺陷自动修复3个方面对自动调试技术研究进展进行了阐述和分析,并 讨论了当前技术的局限性以及面临的挑战。 [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Computer Engineering & Science / Jisuanji Gongcheng yu Kexue is the property of Computer Engineering & Science and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=189378392
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.3969/j.issn.1007-130X.2025.10.009
    Languages:
      – Code: chi
        Text: Chinese
    PhysicalDescription:
      Pagination:
        PageCount: 11
        StartPage: 1799
    Subjects:
      – SubjectFull: Computer hardware description languages
        Type: general
      – SubjectFull: Debugging
        Type: general
      – SubjectFull: Defect tracking (Computer software development)
        Type: general
      – SubjectFull: Integrated circuit verification
        Type: general
      – SubjectFull: Failure analysis
        Type: general
    Titles:
      – TitleFull: 硬件描述语言代码缺陷自动调试技术研究综述.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: 徐建军
      – PersonEntity:
          Name:
            NameFull: 何枷瑜
      – PersonEntity:
          Name:
            NameFull: 吴 江
      – PersonEntity:
          Name:
            NameFull: 毛晓光
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 10
              Text: Oct2025
              Type: published
              Y: 2025
          Identifiers:
            – Type: issn-print
              Value: 1007130X
          Numbering:
            – Type: volume
              Value: 47
            – Type: issue
              Value: 10
          Titles:
            – TitleFull: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue
              Type: main
ResultId 1