VerilogEval-Human

The 'VerilogEval-Human' dataset/benchmark contains human-annotated Verilog code examples used to evaluate the functional correctness of Verilog code generated by large language models.

Papers using VerilogEval-Human (11)

VRank: Enhancing Verilog Code Generation from Large Language Models via Self-Consistency2025 · 7 citesInsights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback2025 · 1 citesCraftRTL: High-quality Synthetic Data Generation for Verilog Code Models with Correct-by-Construction Non-Textual Representations and Targeted Code Repair2024 · 2 citesVFocus: Better Verilog Generation from Large Language Model via Focused Reasoning2025EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code2025ReasoningV: Efficient Verilog Code Generation with Adaptive Hybrid Reasoning Model2025ITERTL: An Iterative Framework for Fine-tuning LLMs for RTL Code Generation2024OriGen:Enhancing RTL Code Generation with Code-to-Code Augmentation and Self-Reflection2024 · 21 citesVerilogCoder: Autonomous Verilog Coding Agents with Graph-based Planning and Abstract Syntax Tree (AST)-based Waveform Tracing Tool2024 · 5 citesAIvril: AI-Driven RTL Generation With Verification In-The-Loop2024 · 1 citesEDA-Aware RTL Generation with Large Language Models2024