English
Related papers

Related papers: VeriGraphi: A Multi-Agent Framework of Hierarchica…

200 papers

Despite limited success in large language model (LLM)-based register-transfer-level (RTL) code generation, the root causes of errors remain poorly understood. To address this, we conduct a comprehensive error analysis, finding that most…

Hardware Architecture · Computer Science 2026-02-03 Jiazheng Zhang , Cheng Liu , Long Cheng , Xiaowei Li , Huawei Li

Despite the significant progress made in code generation with large language models, challenges persist, especially with hardware description languages such as Verilog. This paper first presents an analysis of fine-tuned LLMs on Verilog…

Hardware Architecture · Computer Science 2025-02-10 Mingjie Liu , Yun-Da Tsai , Wenfei Zhou , Haoxing Ren

Natural language interfaces have exhibited considerable potential in the automation of Verilog generation derived from high-level specifications through the utilization of large language models, garnering significant attention.…

Hardware Architecture · Computer Science 2024-07-12 Kaiyan Chang , Zhirong Chen , Yunhao Zhou , Wenlong Zhu , kun wang , Haobo Xu , Cangyuan Li , Mengdi Wang , Shengwen Liang , Huawei Li , Yinhe Han , Ying Wang

Recently, the use of large language models (LLMs) for software code generation, e.g., C/C++ and Python, has proven a great success. However, LLMs still suffer from low syntactic and functional correctness when it comes to the generation of…

Hardware Architecture · Computer Science 2024-07-29 Mingzhe Gao , Jieru Zhao , Zhe Lin , Wenchao Ding , Xiaofeng Hou , Yu Feng , Chao Li , Minyi Guo

Large language models (LLMs) are playing an increasingly large role in domains such as code generation, including hardware code generation, where Verilog is the key language. However, the amount of publicly available Verilog code pales in…

Hardware Architecture · Computer Science 2025-07-10 Charles Hong , Brendan Roberts , Huijae An , Alex Um , Advay Ratan , Yakun Sophia Shao

Microfluidic devices have emerged as powerful tools in various laboratory applications, but the complexity of their design limits accessibility for many practitioners. While progress has been made in microfluidic design automation (MFDA), a…

Artificial Intelligence · Computer Science 2026-02-25 Jasper Davidson , Skylar Stockham , Allen Boston , Ashton Snelgrove , Valerio Tenace , Pierre-Emmanuel Gaillardon

While Large Language Models (LLMs) show significant potential in hardware engineering, current benchmarks suffer from saturation and limited task diversity, failing to reflect LLMs' performance in real industrial workflows. To address this…

Artificial Intelligence · Computer Science 2026-02-03 Zhongkai Yu , Chenyang Zhou , Yichen Lin , Hejia Zhang , Haotian Ye , Junxia Cui , Zaifeng Pan , Jishen Zhao , Yufei Ding

The use of Large Language Models (LLMs) in hardware design has taken off in recent years, principally through its incorporation in tools that increase chip designer productivity. There has been considerable discussion about the use of LLMs…

Hardware Architecture · Computer Science 2025-05-20 Nicolas Dupuis , Ravi Nair , Shyam Ramji , Sean McClintock , Nishant Chauhan , Priyanka Nagpal , Bart Blaner , Ken Valk , Leon Stok , Ruchir Puri

Recent advances of large language models in the field of Verilog generation have raised several ethical and security concerns, such as code copyright protection and dissemination of malicious code. Researchers have employed watermarking…

Cryptography and Security · Computer Science 2025-01-07 Kun Wang , Kaiyan Chang , Mengdi Wang , Xinqi Zou , Haobo Xu , Yinhe Han , Ying Wang

Finite State Machines (FSMs) play a critical role in implementing control logic for Systems-on-Chip (SoC). Traditionally, FSMs are implemented by hardware engineers through Verilog coding, which is often tedious and time-consuming.…

Cryptography and Security · Computer Science 2025-08-22 Ziteng Hu , Yingjie Xia , Xiyuan Chen , Li Kuang

Automated Verilog code synthesis poses significant challenges and typically demands expert oversight. Traditional high-level synthesis (HLS) methods often fail to scale for real-world designs. While large language models (LLMs) have…

Hardware Architecture · Computer Science 2025-06-03 Prithwish Basu Roy , Akashdeep Saha , Manaar Alam , Johann Knechtel , Michail Maniatakos , Ozgur Sinanoglu , Ramesh Karri

Large Language Models have emerged as powerful tools for automating Register-Transfer Level (RTL) code generation, yet they face critical limitations: existing approaches typically fail to simultaneously optimize functional correctness and…

Artificial Intelligence · Computer Science 2026-04-13 Zhirong Chen , Kaiyan Chang , Zhuolin Li , Cangyuan Li , Xinyang He , Chujie Chen , Mengdi Wang , Haobo Xu , Yinhe Han , Huawei Li , Ying Wang

While large language models (LLMs) have demonstrated the ability to generate hardware description language (HDL) code for digital circuits, they still face the hallucination problem, which can result in the generation of incorrect HDL code…

Programming Languages · Computer Science 2025-01-23 Wenhao Sun , Bing Li , Grace Li Zhang , Xunzhao Yin , Cheng Zhuo , Ulf Schlichtmann

Recent advances in large language models have demonstrated their potential for automated generation of hardware description language (HDL) code from high-level prompts. Researchers have utilized fine-tuning to enhance the ability of these…

As hardware design complexity escalates, there is an urgent need for advanced automation in electronic design automation (EDA). Traditional register transfer level (RTL) design methods are manual, time-consuming, and prone to errors. While…

Programming Languages · Computer Science 2025-05-21 Mohammad Akyash , Kimia Azar , Hadi Kamali

The design flow of processors, particularly in hardware description languages (HDL) like Verilog and Chisel, is complex and costly. While recent advances in large language models (LLMs) have significantly improved coding tasks in software…

RTL generation is more than code synthesis. Designs must be syntactically valid, synthesizable, correct, hardware-efficient. SOTA evaluations stop at functional correctness and do not measure synthesis and implementation quality. This paper…

Hardware Architecture · Computer Science 2026-05-12 Weimin Fu , Zeng Wang , Minghao Shao , Ramesh Karri , Muhammad Shafique , Johann Knechtel , Ozgur Sinanoglu , Xiaolong Guo

Due to the growing complexity of modern Integrated Circuits (ICs), automating hardware design can prevent a significant amount of human error from the engineering process and result in less errors. Verilog is a popular hardware description…

Artificial Intelligence · Computer Science 2025-03-06 Chia-Tung Ho , Haoxing Ren , Brucek Khailany

Writing SystemVerilog Assertions (SVA) is an important but complex step in verifying Register Transfer Level (RTL) designs. Conventionally, experts need to understand the design specifications and write the SVA assertions, which is…

Hardware Architecture · Computer Science 2024-09-25 Karthik Maddala , Bhabesh Mali , Chandan Karfa

With the unprecedented advancements in Large Language Models (LLMs), their application domains have expanded to include code generation tasks across various programming languages. While significant progress has been made in enhancing LLMs…

Software Engineering · Computer Science 2024-06-10 Prashanth Vijayaraghavan , Luyao Shi , Stefano Ambrogio , Charles Mackin , Apoorva Nitsure , David Beymer , Ehsan Degan