计算机科学
Verilog公司
正确性
程序设计语言
集合(抽象数据类型)
脚本语言
编码(集合论)
硬件描述语言
编译程序
嵌入式系统
现场可编程门阵列
作者
Shailja Thakur,Baleegh Ahmad,Hammond Pearce,Benjamin Tan,Brendan Dolan-Gavitt,Ramesh Karri,Siddharth Garg
出处
期刊:ACM Transactions on Design Automation of Electronic Systems
[Association for Computing Machinery]
日期:2024-02-09
卷期号:29 (3): 1-31
被引量:21
摘要
In this study, we explore the capability of Large Language Models (LLMs) to automate hardware design by automatically completing partial Verilog code, a common language for designing and modeling digital systems. We fine-tune pre-existing LLMs on Verilog datasets compiled from GitHub and Verilog textbooks. We evaluate the functional correctness of the generated Verilog code using a specially designed test suite, featuring a custom problem set and testing benches. Here, our fine-tuned open-source CodeGen-16B model outperforms the commercial state-of-the-art GPT-3.5-turbo model with a 1.1% overall increase. Upon testing with a more diverse and complex problem set, we find that the fine-tuned model shows competitive performance against state-of-the-art gpt-3.5-turbo, excelling in certain scenarios. Notably, it demonstrates a 41% improvement in generating syntactically correct Verilog code across various problem categories compared to its pre-trained counterpart, highlighting the potential of smaller, in-house LLMs in hardware design automation. We release our training/evaluation scripts and LLM checkpoints as open-source contributions.
科研通智能强力驱动
Strongly Powered by AbleSci AI