mlsanityData to 14 Oct 2026

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models

arXiv 2508.13257 ↗First posted 18 Aug 2025cs.AR cs.AIcited by 2

Not on the map. Why?

Abstract (arXiv)

In modern Very Large Scale Integrated (VLSI) circuit design flow, the Register-Transfer Level (RTL) stage presents a critical opportunity for timing optimization. Addressing timing violations at this early stage is essential, as modern systems demand higher speeds, where even minor timing violations can lead to functional failures or system crashes. However, traditional timing optimization heavily relies on manual expertise, requiring engineers to iteratively analyze timing reports and debug. To automate this process, this paper proposes ViTAD, a method that efficiently analyzes the root causes of timing violations and dynamically generates targeted repair strategies. Specifically, we first parse Verilog code and timing reports to construct a Signal Timing Dependency Graph (STDG). Based on the STDG, we perform violation path analysis and use large language models (LLMs) to infer the root causes of violations. Finally, by analyzing the causes of violations, we selectively retrieve relevant debugging knowledge from a domain-specific knowledge base to generate customized repair solutions. To evaluate the effectiveness of our method, we construct a timing violation dataset based on real-world open-source projects. This dataset contains 54 cases of violations. Experimental results show that our method achieves a 73.68% success rate in repairing timing violations, while the baseline using only LLM is 54.38%. Our method improves the success rate by 19.30%.

Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Builds on 8 of its 23 references that are in the map. First posted on arXiv 18 Aug 2025.

Builds on

8 of 23 references.

References · 8

  1. 2024SpecRover: Code Intent Extraction via LLMscited by 72
  2. 2023Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errorscited by 22
  3. 2023MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Designcited by 19
  4. 2024Annotating Slack Directly on Your Verilog: Fine-Grained RTL Timing Evaluation for Early Optimizationcited by 6
  5. 2025Knowledge-Enhanced Program Repair for Data Science Codecited by 6
  6. 2023Asteria-Pro: Enhancing Deep-Learning Based Binary Code Similarity Detection by Incorporating Domain Knowledgecited by 5
  7. 2024FastFixer: An Efficient and Effective Approach for Repairing Programming Assignmentscited by 3
  8. 2025Timing Analysis Agent: Autonomous Multi-Corner Multi-Mode (MCMM) Timing Debugging with Timing Debug Relation Graphcited by 3

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 2.

2 papers.