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

By Anjiang Wei, Huanmi Tan, Tarun Suresh, Daniel Mendoza, Thiago S. F. X. Teixeira, Ke Wang, Caroline Trippel, Alex Aiken. 2025

Subfields: Hardware and Architecture, Code Generation & Program Synthesis

Citations in the corpus

• CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis (2025, unknown): “…et al., 2024a; Banerjee et al., 2025; Ni et al., 2024b; Liu et al., 2023d; Du et al., 2023; Suresh et al., 2025b; Zhuo et al., 2024; Yin et al., 2022; Lai et al., 2023; Patil et al., 2025; Ugare et al., 2024; 2025; Wei et al., 2025d; Wu et al., 2025), evaluate code generation from natural language.”