English
Related papers

Related papers: Bringing Source-Level Debugging Frameworks to Hard…

200 papers

PCIe-connected FPGAs are gaining popularity as an accelerator technology in data centers. However, it is challenging to jointly develop and debug host software and FPGA hardware. Changes to the hardware design require a time-consuming FPGA…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-01-28 Shenghsun Cho , Mrunal Patel , Basavaraj Kaladagi , Han Chen , Tapti Palit , Michael Ferdman , Peter Milder

High-level synthesis (HLS) has been widely adopted as it significantly improves the hardware design productivity and enables efficient design space exploration (DSE). Existing HLS tools are built using compiler infrastructures largely based…

Programming Languages · Computer Science 2021-12-23 Hanchen Ye , Cong Hao , Jianyi Cheng , Hyunmin Jeong , Jack Huang , Stephen Neuendorffer , Deming Chen

Register Transfer Level (RTL) code optimization is crucial for enhancing the efficiency and performance of digital circuits during early synthesis stages. Currently, optimization relies heavily on manual efforts by skilled engineers, often…

Hardware Architecture · Computer Science 2024-09-19 Xufeng Yao , Yiwen Wang , Xing Li , Yingzhao Lian , Ran Chen , Lei Chen , Mingxuan Yuan , Hong Xu , Bei Yu

C/C++/OpenCL-based high-level synthesis (HLS) becomes more and more popular for field-programmable gate array (FPGA) accelerators in many application domains in recent years, thanks to its competitive quality of results (QoR) and short…

Hardware Architecture · Computer Science 2021-05-07 Yuze Chi , Licheng Guo , Jason Lau , Young-kyu Choi , Jie Wang , Jason Cong

Large language models (LLMs) have shown remarkable abilities to generate code, however their ability to develop software for embedded systems, which requires cross-domain knowledge of hardware and software has not been studied. In this…

Software Engineering · Computer Science 2023-11-23 Zachary Englhardt , Richard Li , Dilini Nissanka , Zhihan Zhang , Girish Narayanswamy , Joseph Breda , Xin Liu , Shwetak Patel , Vikram Iyer

Large language models are increasingly used to produce runnable software. In practice, security is often addressed through a Detect--Repair--Verify (DRV) loop that detects issues, applies fixes, and verifies the result. This work studies…

Software Engineering · Computer Science 2026-03-03 Cheng Cheng

Register-Transfer Level (RTL) coding is an iterative, repository-scale process in which Power, Performance, and Area (PPA) emerge from interactions across many files and the downstream toolchain. While large language models (LLMs) have…

Hardware Architecture · Computer Science 2026-03-11 Zhengyuan Shi , Jingxin Wang , Tairan Cheng , Changran Xu , Weikang Qian , Qiang Xu

A major difficulty in debugging distributed systems lies in manually determining which of the many available debugging tools to use and how to query its logs. Our own study of a production debugging workflow confirms the magnitude of this…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-06-29 Pradeep Dogga , Karthik Narasimhan , Anirudh Sivaraman , Shiv Kumar Saini , George Varghese , Ravi Netravali

As transistor counts in a single chip exceed tens of billions, the complexity of RTL-level simulation and verification has grown exponentially, often extending simulation campaigns to several months. In industry practice, RTL simulation is…

Hardware Architecture · Computer Science 2025-09-04 Weigang Feng , Yijia Zhang , Zekun Wang , Zhengyang Wang , Yi Wang , Peijun Ma , Ningyi Xu

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

As an essential part of modern hardware design, manually writing Register Transfer Level (RTL) code such as Verilog is often labor-intensive. Following the tremendous success of large language models (LLMs), researchers have begun to…

Software Engineering · Computer Science 2025-04-15 Peiyang Wu , Nan Guo , Junliang Lv , Xiao Xiao , Xiaochun Ye

The automated generation of design RTL based on large language model (LLM) and natural language instructions has demonstrated great potential in agile circuit design. However, the lack of datasets and benchmarks in the public domain…

Hardware Architecture · Computer Science 2025-03-20 Shang Liu , Yao Lu , Wenji Fang , Mengming Li , Zhiyao Xie

The integration of Large Language Models (LLMs) into Electronic Design Automation (EDA) and hardware security is rapidly reshaping the semiconductor industry. While LLMs offer unprecedented capabilities in generating Register Transfer Level…

Cryptography and Security · Computer Science 2026-05-21 Johann Knechtel , Ozgur Sinanoglu , Ramesh Karri

This paper introduces Natural-Level Synthesis, an innovative approach for generating hardware using generative artificial intelligence on both the system level and component-level. NLS bridges a gap in current hardware development…

Hardware Architecture · Computer Science 2025-04-04 Kaiyuan Yang , Huang Ouyang , Xinyi Wang , Bingjie Lu , Yanbo Wang , Charith Abhayaratne , Sizhao Li , Long Jin , Tiantai Deng

Modern SoC datapaths include deeply pipelined, domain-specific accelerators, but their RTL implementation and verification are still mostly done by hand. While large language models (LLMs) exhibit advanced code-generation abilities for…

Hardware Architecture · Computer Science 2025-08-11 Suresh Purini , Siddhant Garg , Mudit Gaur , Sankalp Bhat , Sohan Mupparapu , Arun Ravindran

As tools for designing multiple processor systems-on-chips (MPSoCs) continue to evolve to meet the demands of developers, there exist systematic gaps that must be bridged to provide a more cohesive hardware/software development environment.…

Software Engineering · Computer Science 2014-08-21 Sam Skalicky , Andrew G. Schmidt , Matthew French

Large Language Models (LLMs) have shown strong capabilities in code generation and comprehension, yet their application to complex software engineering tasks often suffers from low precision and limited interpretability. We present Repeton,…

Software Engineering · Computer Science 2025-06-11 Nguyen Phu Vinh , Anh Chung Hoang , Chris Ngo , Truong-Son Hy

In this work, we present a new approach to high level synthesis (HLS), where high level functions are first mapped to an architectural template, before hardware synthesis is performed. As FPGA platforms are especially suitable for…

Hardware Architecture · Computer Science 2016-06-22 Shaoyi Cheng , John Wawrzynek

The rapid advancements in LLMs have driven the adoption of generative AI in various domains, including Electronic Design Automation (EDA). Unlike traditional software development, EDA presents unique challenges, as generated RTL code must…

Large Language Models (LLMs) have demonstrated potential in assisting with Register Transfer Level (RTL) design tasks. Nevertheless, there remains to be a significant gap in benchmarks that accurately reflect the complexity of real-world…

Machine Learning · Computer Science 2024-05-28 Ahmed Allam , Mohamed Shalan