@misc{indiciaebab9721ad80d,
  title = {VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation},
  author = {Anjiang Wei and Huanmi Tan and Tarun Suresh and Daniel Mendoza and Thiago S. F. X. Teixeira and Ke Wang and Caroline Trippel and Alex Aiken},
  year = {2025},
  url = {https://arxiv.org/abs/2504.15659},
  note = {Source identifier: 2504.15659}
}