TY - RPRT TI - Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback AU - Ning Wang AU - Bingkun Yao AU - Jie Zhou AU - Yuchen Hu AU - Xi Wang AU - Nan Guan AU - Zhe Jiang PY - 2025 UR - https://arxiv.org/abs/2504.15804 ID - 2504.15804 ER -