TY  - RPRT
TI  - VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
AU  - Yiting Wang
AU  - Guoheng Sun
AU  - Wanghao Ye
AU  - Gang Qu
AU  - Ang Li
PY  - 2025
UR  - https://arxiv.org/abs/2505.11849
ID  - 2505.11849
ER  -