Buchumschlag

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yao, Bingkun, Wang, Ning, Liu, Xiangfeng, Du, Yuxin, Hu, Yuchen, Gao, Hong, Jiang, Zhe, Guan, Nan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction
von: Wang, Ning, et al.
Veröffentlicht: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
von: Svoboda, David, et al.
Veröffentlicht: (2025)

VFocus: Better Verilog Generation from Large Language Model via Focused Reasoning
von: Zhao, Zhuorui, et al.
Veröffentlicht: (2025)

Semantic Consensus Decoding: Backdoor Defense for Verilog Code Generation
von: Yang, Guang, et al.
Veröffentlicht: (2026)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
von: Erata, Ferhat, et al.
Veröffentlicht: (2024)

VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
von: Niu, Juxin, et al.
Veröffentlicht: (2025)

Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
von: Ma, Chengyan, et al.
Veröffentlicht: (2026)

UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification
von: Ye, Junhao, et al.
Veröffentlicht: (2026)

ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs
von: Kong, Jiaolong, et al.
Veröffentlicht: (2024)

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments
von: Hu, Yiwei, et al.
Veröffentlicht: (2025)

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
von: Jiang, Renshuang, et al.
Veröffentlicht: (2026)

Semantic Evolution over Populations for LLM-Guided Automated Program Repair
von: Le, Cuong Chi, et al.
Veröffentlicht: (2026)

On Repairing Quantum Programs Using ChatGPT
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2024)

LLM-Based Repair of Static Nullability Errors
von: Karimipour, Nima, et al.
Veröffentlicht: (2025)

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
von: Li, Jia, et al.
Veröffentlicht: (2026)

Automated Test Data Generation for Enterprise Protobuf Systems: A Metaclass-Enhanced Statistical Approach
von: Du, Y.
Veröffentlicht: (2025)

A Deep Dive into Large Language Models for Automated Bug Localization and Repair
von: Hossain, Soneya Binta, et al.
Veröffentlicht: (2024)

VerilogReader: LLM-Aided Hardware Test Generation
von: Ma, Ruiyang, et al.
Veröffentlicht: (2024)

Self-Improving Code Generation via Semantic Entropy and Behavioral Consensus
von: Zhang, Huan, et al.
Veröffentlicht: (2026)

Adapting Knowledge Prompt Tuning for Enhanced Automated Program Repair
von: Cai, Xuemeng, et al.
Veröffentlicht: (2025)

A Multi-Expert Large Language Model Architecture for Verilog Code Generation
von: Nadimi, Bardia, et al.
Veröffentlicht: (2024)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
von: Wu, Valentina, et al.
Veröffentlicht: (2025)

RulER: Automated Rule-Based Semantic Error Localization and Repair for Code Translation
von: Jin, Shuo, et al.
Veröffentlicht: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
von: Ren, Xiaoning, et al.
Veröffentlicht: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
von: Liu, Yuchen, et al.
Veröffentlicht: (2025)

Automated Tool Support for Category-Partition Testing: Design Decisions, UI and Examples of Use
von: Labiche, Yvan
Veröffentlicht: (2026)

DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
von: Wu, Linhao, et al.
Veröffentlicht: (2026)

ThinkRepair: Self-Directed Automated Program Repair
von: Yin, Xin, et al.
Veröffentlicht: (2024)

TSAPR: A Tree Search Framework For Automated Program Repair
von: Hu, Haichuan, et al.
Veröffentlicht: (2025)

Automated Insertion of Flushes and Fences for Persistency
von: Guo, Yutong, et al.
Veröffentlicht: (2025)

MEIC: Re-thinking RTL Debug Automation using LLMs
von: Xu, Ke, et al.
Veröffentlicht: (2024)

Enhancing Automated Program Repair with Solution Design
von: Zhao, Jiuang, et al.
Veröffentlicht: (2024)

Empirical Evaluation of Large Language Models in Automated Program Repair
von: Sun, Jiajun, et al.
Veröffentlicht: (2025)

Less Training, More Repairing Please: Revisiting Automated Program Repair via Zero-shot Learning
von: Xia, Chunqiu Steven, et al.
Veröffentlicht: (2022)

MaxMind: A Memory Loop Network to Enhance Software Productivity based on Large Language Models
von: Dong, Yuchen, et al.
Veröffentlicht: (2024)

Automated Code Editing with Search-Generate-Modify
von: Liu, Changshu, et al.
Veröffentlicht: (2023)

RaceFixer -- An Automated Data Race Fixer
von: Malakar, Sanjay, et al.
Veröffentlicht: (2024)

ProDebug: An Automated Debugging System for Prolog
von: Brancas, Ricardo, et al.
Veröffentlicht: (2026)

Mica: Automated Differential Testing for OCaml Modules
von: Ng, Ernest, et al.
Veröffentlicht: (2024)

A Survey of LLM-based Automated Program Repair: Taxonomies, Design Paradigms, and Applications
von: Yang, Boyang, et al.
Veröffentlicht: (2025)