Cover Image

Learning to Debug: LLM-Organized Knowledge Trees for Solving RTL Assertion Failures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bai, Yunsheng, Ren, Haoxing
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FVRuleLearner: Operator-Level Reasoning Tree (OP-Tree)-Based Rules Learning for Formal Verification
by: Wan, Lily Jiaxin, et al.
Published: (2026)

AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL
by: Bai, Yunsheng, et al.
Published: (2025)

Debugging the Debuggers: Failure-Anchored Structured Recovery for Software Engineering Agents
by: Zhao, Chenyu, et al.
Published: (2026)

Post-hoc LLM-Supported Debugging of Distributed Processes
by: Schiese, Dennis, et al.
Published: (2025)

The Debugging Decay Index: Rethinking Debugging Strategies for Code LLMs
by: Adnan, Muntasir, et al.
Published: (2025)

Faver: Boosting LLM-based RTL Generation with Function Abstracted Verifiable Middleware
by: Mu, Jianan, et al.
Published: (2025)

Procedural Refinement by LLM-driven Algorithmic Debugging for ARC-AGI-2
by: Qiu, Yu-Ning, et al.
Published: (2026)

LAUDE: LLM-Assisted Unit Test Generation and Debugging of Hardware DEsigns
by: Nandal, Deeksha, et al.
Published: (2026)

DoVer: Intervention-Driven Auto Debugging for LLM Multi-Agent Systems
by: Ma, Ming, et al.
Published: (2025)

AutoAssert 1: A LoRA Fine-Tuned LLM Model for Efficient Automated Assertion Generation
by: Zhong, Yi, et al.
Published: (2025)

Debug2Fix: Can Interactive Debugging Help Coding Agents Fix More Bugs?
by: Garg, Spandan, et al.
Published: (2026)

VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction
by: Wang, Ning, et al.
Published: (2025)

MLDebugging: Towards Benchmarking Code Debugging Across Multi-Library Scenarios
by: Huang, Jinyang, et al.
Published: (2025)

RepoDebug: Repository-Level Multi-Task and Multi-Language Debugging Evaluation of Large Language Models
by: Liu, Jingjing, et al.
Published: (2025)

Towards Adaptive Software Agents for Debugging
by: Majdoub, Yacine, et al.
Published: (2025)

DREAM: Debugging and Repairing AutoML Pipelines
by: Zhang, Xiaoyu, et al.
Published: (2023)

A New Benchmark for the Appropriate Evaluation of RTL Code Optimization
by: Lu, Yao, et al.
Published: (2026)

BugSpotter: Automated Generation of Code Debugging Exercises
by: Pădurean, Victor-Alexandru, et al.
Published: (2024)

AgentStepper: Interactive Debugging of Software Development Agents
by: Hutter, Robert, et al.
Published: (2026)

CODESIM: Multi-Agent Code Generation and Problem Solving through Simulation-Driven Planning and Debugging
by: Islam, Md. Ashraful, et al.
Published: (2025)

IncreRTL: Traceability-Guided Incremental RTL Generation under Requirement Evolution
by: Chen, Luanrong, et al.
Published: (2026)

DebugBench: Evaluating Debugging Capability of Large Language Models
by: Tian, Runchu, et al.
Published: (2024)

Revisit Self-Debugging with Self-Generated Tests for Code Generation
by: Chen, Xiancai, et al.
Published: (2025)

Large Language Model Guided Self-Debugging Code Generation
by: Adnan, Muntasir, et al.
Published: (2025)

Toward Debugging Deep Reinforcement Learning Programs with RLExplorer
by: Bouchoucha, Rached, et al.
Published: (2024)

Automated Multi-Source Debugging and Natural Language Error Explanation for Dashboard Applications
by: Tata, Devendra, et al.
Published: (2026)

An Empirical Study on Failures in Automated Issue Solving
by: Liu, Simiao, et al.
Published: (2025)

LLM-Based Automated Diagnosis Of Integration Test Failures At Google
by: Ziftci, Celal, et al.
Published: (2026)

LLM Company Policies and Policy Implications in Software Organizations
by: Khojah, Ranim, et al.
Published: (2025)

Assertion-Aware Test Code Summarization with Large Language Models
by: Mollah, Anamul Haque, et al.
Published: (2025)

Enhancing Debugging Skills with AI-Powered Assistance: A Real-Time Tool for Debugging Support
by: Artser, Elizaveta, et al.
Published: (2026)

RTLRepoCoder: Repository-Level RTL Code Completion through the Combination of Fine-Tuning and Retrieval Augmentation
by: Wu, Peiyang, et al.
Published: (2025)

Bloch Vector Assertions for Debugging Quantum Programs
by: Oldfield, Noah H., et al.
Published: (2025)

Does Few-Shot Learning Help LLM Performance in Code Synthesis?
by: Xu, Derek, et al.
Published: (2024)

Effective Large Language Model Debugging with Best-first Tree Search
by: Song, Jialin, et al.
Published: (2024)

COAST: Enhancing the Code Debugging Ability of LLMs through Communicative Agent Based Data Synthesis
by: Yang, Weiqing, et al.
Published: (2024)

PEFA-AI: Advancing Open-source LLMs for RTL generation using Progressive Error Feedback Agentic-AI
by: Narayanan, Athma, et al.
Published: (2025)

Timing Analysis Agent: Autonomous Multi-Corner Multi-Mode (MCMM) Timing Debugging with Timing Debug Relation Graph
by: Nainani, Jatin, et al.
Published: (2025)

TraceCoder: A Trace-Driven Multi-Agent Framework for Automated Debugging of LLM-Generated Code
by: Huang, Jiangping, et al.
Published: (2026)

RTLSquad: Multi-Agent Based Interpretable RTL Design
by: Wang, Bowei, et al.
Published: (2025)