TY  - RPRT
TI  - VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
AU  - Anjiang Wei
AU  - Huanmi Tan
AU  - Tarun Suresh
AU  - Daniel Mendoza
AU  - Thiago S. F. X. Teixeira
AU  - Ke Wang
AU  - Caroline Trippel
AU  - Alex Aiken
PY  - 2025
UR  - https://arxiv.org/abs/2504.15659
ID  - 2504.15659
ER  -