PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification

Yujie Zhao, Zhijing Wu, Boqin Yuan +6

Register-Transfer Level (RTL) verification is a primary bottleneck, consuming 60-70% of development time. While Large Language Models (LLMs) show promise for RTL automation, their…