Cite
Notes
Only stored in your browser.
Attribution
Comprehensive Verilog Design Problems: A Next-Generation Benchmark Dataset for Evaluating Large Language Models and Agents on RTL Design and Verification
arXiv 2025
PRO-V: An Efficient Program Generation Multi-Agent System for Automatic RTL Verification
from 2 papers
Haoxing Ren
Brucek Khailany
Chenhui Deng
Hejia Zhang
Jishen Zhao
Mingjie Liu
Nathaniel Pinckney
Wenfei Zhou
Wentao Ni
Yujie Zhao