Chrome Extension
WeChat Mini Program
Use on ChatGLM

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

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

arxiv(2025)

Cited 0|Views1
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined