Abstract:Functional simulation is an essential step in digital hardware design. Recently, there has been a growing interest in leveraging Large Language Models (LLMs) for hardware testbench generation tasks. However, the inherent instability associated with LLMs often leads to functional errors in the generated testbenches. Previous methods do not incorporate automatic functional correction mechanisms without human intervention and still suffer from low success rates, especially for sequential tasks. To address this issue, we propose CorrectBench, an automatic testbench generation framework with functional self-validation and self-correction. Utilizing only the RTL specification in natural language, the proposed approach can validate the correctness of the generated testbenches with a success rate of 88.85%. Furthermore, the proposed LLM-based corrector employs bug information obtained during the self-validation process to perform functional self-correction on the generated testbenches. The comparative analysis demonstrates that our method achieves a pass ratio of 70.13% across all evaluated tasks, compared with the previous LLM-based testbench generation framework's 52.18% and a direct LLM-based generation method's 33.33%. Specifically in sequential circuits, our work's performance is 62.18% higher than previous work in sequential tasks and almost 5 times the pass ratio of the direct method. The codes and experimental results are open-sourced at the link: <a class="link-external link-https" href="https://github.com/AutoBench/CorrectBench" rel="external noopener nofollow">this https URL</a>

Testbench Generation For Reconfigurable Media Processor

Test program generation for reconfigurable media processor

Functional Verification of EPA Chip

Design of a Media-Enhanced and Reconfigurable RISC ,Microprocessor

Design of a Reconfigurable Cryptographic Engine

Random Test Program Generator for Microprocessor Verification

A Verification Methodology for Reusable Test Cases and Coverage Based on System Verilog

A Dynamic Random Instruction And Stimulus Generation For Functional Verification Of Embedded Processor

Random test program generator for microprocessor functional verification

Design Retargetable Platform System for Microprocessor Functional Test

Automatic generation of synthetic sequential benchmark circuits

Functional verification of external memory interface IP core based on restricted random testbench

CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design

ReSSIM: a Mixed-Level Simulator for Dynamic Coarse-Grained Reconfigurable Processor

Coverage Matrix based Evolutionary Test Program Generation for Microprocessor Verification

An Approach to Enhance the Efficiency of RISC-V Verification Using Intelligent Algorithms

Modeling And Testing The Interconnect Resources Of Sram-Based Fpgas

Hierarchical Genetic Algorithm Based System Level Synthesis On Dpra

VerilogReader: LLM-Aided Hardware Test Generation

Function Verification of Interface IP Core Based on the Restricted Random Test Bench

Program Generation for Functional Verification of Microprocessor