VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation

v1v2 (latest)

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation

22 April 2025

Caroline Trippel

ArXiv (abs)PDF HTML

Papers citing "VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation"

8 / 8 papers shown

Title
Learning to Debug: LLM-Organized Knowledge Trees for Solving RTL Assertion Failures Yunsheng Bai Haoxing Ren 36 0 0 21 Nov 2025
Breaking Memorization Barriers in LLM Code Fine-Tuning via Information Bottleneck for Improved Generalization Changsheng Wang Xin Chen Sijia Liu Ke Ding CLL 136 0 0 15 Oct 2025
The Cream Rises to the Top: Efficient Reranking Method for Verilog Code Generation Guang Yang Wei-Shi Zheng Xiang Chen Yifan Sun Fengji Zhang Terry Yue Zhuo 69 1 0 24 Sep 2025
Astra: A Multi-Agent System for GPU Kernel Performance Optimization Anjiang Wei Tianran Sun Yogesh Seenichamy Hang Song Anne Ouyang Azalia Mirhoseini Ke Wang Alex Aiken 88 7 0 09 Sep 2025
Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis Zhihao Xu Bixin Li Lulu Wang 76 0 0 22 Jul 2025
RTLRepoCoder: Repository-Level RTL Code Completion through the Combination of Fine-Tuning and Retrieval Augmentation Peiyang Wu Nan Guo Junliang Lv Xiao Xiao Mingyu Yan 142 4 0 11 Apr 2025
CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis Anjiang Wei Tarun Suresh Jiannan Cao Naveen Kannan Yuheng Wu Kai Yan Diyi Yang Ke Wang Alex Aiken ELM LRM 230 6 0 29 Mar 2025
DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis Zhiyu Li Changran Xu Zhengyuan Shi Zedong Peng Yi Liu ... Xinyu Wang Jieru Zhao Zhufei Chu Xiaoyu Yang Qiang Xu 234 12 0 25 Feb 2025