arrow
返回

Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback

delete2025-11-01
delete1
PRE
AI
J
Jason Blocklove *
S
Shailja Thakur
B
Benjamin Tan
H
Hammond Pearce
S
Siddharth Garg
R
Ramesh Karri
DOI:10.1145/3723876delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Traditionally, digital hardware designs are written in the Verilog hardware description language (HDL) and debugged manually by engineers. This can be time-consuming and error-prone for complex designs. Large Language Models (LLMs) are emerging as a potential tool to help generate fully functioning HDL code, but most works have focused on generation in the single-shot capacity: i.e., run and evaluate, a process that does not leverage debugging and, as such, does not adequately reflect a realistic development process. In this work, we evaluate the ability of LLMs to leverage feedback from electronic design automation (EDA) tools to fix mistakes in their own generated Verilog. To accomplish this, we present an open-source, highly customizable framework, AutoChip, which combines conversational LLMs with the output from Verilog compilers and simulations to iteratively generate and repair Verilog. To determine the success of these LLMs we leverage the VerilogEval benchmark set. We evaluate four state-of-the-art conversational LLMs, focusing on readily accessible commercial models. EDA tool feedback proved to be consistently more effective than zero-shot prompting only with GPT-4o, the most computationally complex model we evaluated. In the best case, we observed a 5.8% increase in the number of successful designs with a 34.2% decrease in cost over the best zero-shot results. Mixing smaller models with this larger model at the end of the feedback iterations resulted in equally as much success as with GPT-4o using feedback, but incurred 41.9% lower cost (corresponding to an overall decrease in cost over zero-shot by 89.6%).
Keyword:
Verilog
large language models
automation

期刊

A
ACM Transactions on Design Automation of Electronic Systems
IF:
2
论文数:
112
被引数:
1.2K

机构

N
new york university
学者数:
6.2K
论文数: 3.0K
被引数: 1
U
university of calgary
学者数:
6.1K
论文数: 2.6K
被引数: 0
N
New York University Tandon School of Engineering
学者数:
1.1K
论文数: 854
被引数: 0
学者 查看更多机构
引用论文

引用论文

err
IF0
err
err0
PREAI
err
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
(Security) Assertions by Large Language Models(安全性) 大型语言模型的断言
err2024-01-01
err10
errOAAI
errKande, Rahul; Pearce, Hammond; Tan, Benjamin; Dolan-Gavitt, Brendan; Thakur, Shailja; Karri, Ramesh; Rajendran, Jeyavijayan
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
学者 查看更多内容