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). Sign in to comment.

Forward citations

Cited by 4 Pith papers

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

  1. Verilog-Evolve: Feedback-Driven and Skill-Evolving Verilog Generation

    cs.CL 2026-05 unverdicted novelty 6.0 of 10

    Verilog-Evolve uses executable feedback from simulation, synthesis, timing, and GEMM metrics to refine LLM-generated Verilog and evolves skills across tasks, improving functional success and downstream hardware qualit...

  2. Can Agents Secure Hardware? Evaluating Agentic LLM-Driven Obfuscation for IP Protection

    cs.CR 2026-04 unverdicted novelty 6.0 of 10

    An agentic LLM system produces functionally correct obfuscated netlists on ISCAS-85 benchmarks that cause output corruption with wrong keys but remain breakable by SAT attacks.

  3. ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learning

    cs.AI 2025-07 unverdicted novelty 6.0 of 10

    ChipSeek is a hierarchical-reward reinforcement learning framework with Curriculum-Guided Dynamic Policy Optimization that integrates EDA simulator feedback to improve LLM-generated RTL code on both functional correct...

  4. From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification

    cs.AR 2025-04 conditional novelty 6.0 of 10

    UVM^2 is an LLM-driven system that generates and refines UVM testbenches for RTL verification, reporting up to substantial time savings and average code/function coverage of 87.44%/89.58% on designs up to 1.6K lines, ...

Pith tools