paper-with-me

Papers

Structured Testbench Generation for LLM-Driven HDL Design and Verification-Oriented Data Curation

2026-06-11 · En-Ming Huang, Yu-Hung Kao, Ren-Hao Deng, Wei-Po Hsin, Yao-Ting Hsieh, Cheng Liang, Hsiang-Yu Tsou, Mu-Chi Chen, Yu-Kai Hung, Shao-Chun Ho, Po-Hsuang Huang, Shih-Hao Hung, H. T. Kung arxiv

Automated testbench generation has become a critical bottleneck in large language model (LLM)-driven Register Transfer Level (RTL) workflows, where large numbers of candidate designs must be verified rapidly and reliably. Existing prompt-based approaches treat testbench generation as unconstrained code synthesis, yielding stochastic outputs with high token cost, low reproducibility, and insufficient coverage. To address this gap, we present STG, a Structured Testbench Generation framework that exploits the inherent structure of hardware designs to generate deterministic testbenches. As a direct verification tool, STG runs 720x faster than an iterative LLM-based testbench generation flow and higher rate of successful compilation, achieves higher coverage, and reduces false-pass verdicts on incorrect DUTs. STG also helps identify errors in RTL generation benchmarks by exposing faulty benchmark testbenches. As a data curation engine, it is 11x faster than LLM-based filtering on a single CPU core with 127x less energy, and the resulting distilled models provide state-of-the-art performance in our multi-benchmark evaluation. As a test-time scaling oracle, it reduces node count by 14-47\%. Our models are available at https://huggingface.co/collections/AS-SiliconMind/siliconmind-v12.

📄 PDF Abstract BibTeX arXiv:2606.12983

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs

2026-04-30 · Chang-Chih Meng, Yu-Ren Lu, Guan-Yu Lin, Tsung Tai Yeh 외 arxiv

Integrated Circuit (IC) verification consumes nearly 70% of the IC development cycle, and recent research leverages Large Language Models (LLMs) to automatically generate testbenches and reduce verification overhead. How…

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback

2025-04-22 · Ning Wang, Bingkun Yao, Jie zhou, Yuchen Hu 외

Large language models (LLMs) have shown strong performance in Verilog generation from natural language description. However, ensuring the functional correctness of the generated code remains a significant challenge. This…

Code GenerationHallucinationReinforcement Learning (RL)

PRO-V: An Efficient Program Generation Multi-Agent System for Automatic RTL Verification

2025-06-13 · Yujie Zhao, Zhijing Wu, Hejia Zhang, Zhongming Yu 외

LLM-assisted hardware verification is gaining substantial attention due to its potential to significantly reduce the cost and effort of crafting effective testbenches. It also serves as a critical enabler for LLM-aided e…

Code GenerationIn-Context Learning

A Multi-Agent Generative AI Framework for IC Module-Level Verification Automation

2025-07-29 · Wenbo Liu, Forbes Hou, Jon Zhang, Hong Liu 외 arxiv

As large language models demonstrate enormous potential in the field of Electronic Design Automation (EDA), generative AI-assisted chip design is attracting widespread attention from academia and industry. Although these…

Code Generation

TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation

2025-11-19 · Bardia Nadimi, Khashayar Filom, Deming Chen, Hao Zheng arxiv

With the rapid advancement of Large Language Models (LLMs), there is growing interest in applying them to hardware design and verification. Among these stages, design verification remains the most time-consuming and reso…