paper-with-me

Papers

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

2025-08-18 · Wenhao Lv, Yingjie Xia, Xiyuan Chen, Li Kuang 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%.

📄 PDF Abstract BibTeX arXiv:2508.13257

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

IR-Aware ECO Timing Optimization Using Reinforcement Learning

2024-02-12 · Wenjing Jiang, Vidya A. Chhabria, Sachin S. Sapatnekar

Engineering change orders (ECOs) in late stages make minimal design fixes to recover from timing shifts due to excessive IR drops. This paper integrates IR-drop-aware timing analysis and ECO timing optimization using rei…

reinforcement-learningReinforcement LearningReinforcement Learning (RL)Zero-Shot Learning

Automating Hardware Design and Verification from Architectural Papers via a Neural-Symbolic Graph Framework

2025-11-08 · Haoyue Yang, Xuanle Zhao, Yujie Liu, Zhuojun Zou 외 arxiv

The reproduction of hardware architectures from academic papers remains a significant challenge due to the lack of publicly available source code and the complexity of hardware description languages (HDLs). To this end, …

Code Completion

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging

2026-04-09 · Zaid Ghazal, Hadiza Yusuf, Khouloud Gaaloul arxiv

Verification and validation of cyber-physical systems (CPS) via large-scale simulation often surface failures that are hard to interpret, especially when triggered by interactions between continuous and discrete behavior…

NexViTAD: Few-shot Unsupervised Cross-Domain Defect Detection via Vision Foundation Models and Multi-Task Learning

2025-07-10 · Tianwei Mu, Feiyu Duan, Bo Zhou, Dan Xue 외 arxiv

This paper presents a novel few-shot cross-domain anomaly detection framework, Nexus Vision Transformer for Anomaly Detection (NexViTAD), based on vision foundation models, which effectively addresses domain-shift challe…

Multi-Task LearningAnomaly Detection

Exploring Plain ViT Reconstruction for Multi-class Unsupervised Anomaly Detection

2023-12-12 · Jiangning Zhang, Xuhai Chen, Yabiao Wang, Chengjie Wang 외

This work studies a challenging and practical issue known as multi-class unsupervised anomaly detection (MUAD). This problem requires only normal images for training while simultaneously testing both normal and anomaly i…

Anomaly DetectionGPUMulti-class Anomaly DetectionUnsupervised Anomaly Detection