@article{provanefficientprogramgenerationmulti,
  title = {PRO-V: An Efficient Program Generation Multi-Agent System for Automatic RTL Verification},
  author = {Yujie Zhao and Zhijing Wu and Hejia Zhang and Zhongming Yu and Wentao Ni and Chia-Tung Ho and Haoxing Ren and Jishen Zhao},
  year = {2025},
  eprint = {2506.12200},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2506.12200v1},
}