Pith. sign in

REVIEW 4 cited by

HDLdebugger: Streamlining HDL debugging with Large Language Models

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2403.11671 v1 pith:NOEV3DOR submitted 2024-03-18 cs.AR cs.AIcs.CEcs.LGcs.SE

classification cs.ARcs.AIcs.CEcs.LGcs.SE
keywords debuggingcodehdldebuggermodelsapproachchipdesignengineers
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

In the domain of chip design, Hardware Description Languages (HDLs) play a pivotal role. However, due to the complex syntax of HDLs and the limited availability of online resources, debugging HDL codes remains a difficult and time-intensive task, even for seasoned engineers. Consequently, there is a pressing need to develop automated HDL code debugging models, which can alleviate the burden on hardware engineers. Despite the strong capabilities of Large Language Models (LLMs) in generating, completing, and debugging software code, their utilization in the specialized field of HDL debugging has been limited and, to date, has not yielded satisfactory results. In this paper, we propose an LLM-assisted HDL debugging framework, namely HDLdebugger, which consists of HDL debugging data generation via a reverse engineering approach, a search engine for retrieval-augmented generation, and a retrieval-augmented LLM fine-tuning approach. Through the integration of these components, HDLdebugger can automate and streamline HDL debugging for chip design. Our comprehensive experiments, conducted on an HDL code dataset sourced from Huawei, reveal that HDLdebugger outperforms 13 cutting-edge LLM baselines, displaying exceptional effectiveness in HDL code debugging.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions

    cs.SE 2025-07 conditional novelty 6.0 of 10

    HLSDebugger fixes logic bugs in HLS code with 37.6% accuracy, outperforming GPT-4 by over 3x, using an encoder-decoder model trained on a new 300K-sample dataset.

  2. RealBench: Benchmarking Verilog Generation Models with Real-World IP Designs

    cs.LG 2025-07 conditional novelty 6.0 of 10

    RealBench measures LLM Verilog generation on complex open-source IP cores with formal verification, and all tested models score near zero on full system designs.

  3. SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models

    cs.CR 2025-06 conditional novelty 5.0 of 10

    SV-LLM automates SoC security verification with six cooperating LLM agents, reaching 84.8% vulnerability detection accuracy and 82% to 89% bug validation rates on benchmarks the paper does not disclose.

  4. ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflection

    cs.AI 2025-05 conditional novelty 5.0 of 10

    ReChisel, an LLM agent with reflection and an escape mechanism for non-progress loops, significantly improves Chisel code generation success rates across five LLMs and three benchmarks.

Pith tools