TY  - RPRT
TI  - PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification
AU  - Yujie Zhao
AU  - Zhijing Wu
AU  - Boqin Yuan
AU  - Zhongming Yu
AU  - Hejia Zhang
AU  - Wentao Ni
AU  - Chia-Tung Ho
AU  - Haoxing Ren
AU  - Jishen Zhao
PY  - 2025
UR  - https://arxiv.org/abs/2506.12200
ID  - 2506.12200
ER  -