English
Related papers

Related papers: High-Level Synthesis of Security Properties via So…

200 papers

High-level synthesis (HLS) has freed the computer architects from developing their designs in a very low-level language and needing to exactly specify how the data should be transferred in register-level. With the help of HLS, the hardware…

Hardware Architecture · Computer Science 2021-11-23 Atefeh Sohrabizadeh , Yunsheng Bai , Yizhou Sun , Jason Cong

High-level synthesis (HLS) refers to the automatic translation of a software program written in a high-level language into a hardware design. Modern HLS tools have moved away from the traditional approach of static (compile time) scheduling…

Hardware Architecture · Computer Science 2023-08-23 Aditya Rajagopal , Diederik Adriaan Vink , Jianyi Cheng , Yann Herklotz

High-Level Synthesis (HLS) is a pivotal electronic design automation (EDA) technology that enables the generation of hardware circuits from high-level language descriptions. A critical step in HLS is Design Space Exploration (DSE), which…

Hardware Architecture · Computer Science 2026-03-03 Lei Xu , Shanshan Wang , Chenglong Xiao

High-level synthesis (HLS) is a process that automatically translates a software program in a high-level language into a low-level hardware description. However, the hardware designs produced by HLS tools still suffer from a significant…

Programming Languages · Computer Science 2023-08-16 Jianyi Cheng , Samuel Coward , Lorenzo Chelini , Rafael Barbalho , Theo Drane

In today's rapidly evolving field of electronic design automation (EDA), the complexity of hardware designs is increasing, necessitating more sophisticated automation solutions. High-level synthesis (HLS), as a pivotal solution, automates…

Programming Languages · Computer Science 2025-08-06 M Zafir Sadik Khan , Nowfel Mashnoor , Mohammad Akyash , Kimia Azar , Hadi Kamali

FPGAs provide highly parallel and customizable hardware solutions but are traditionally programmed using low-level Hardware Description Languages (HDLs) like VHDL and Verilog. These languages have a low level of abstraction and require…

Hardware Architecture · Computer Science 2025-04-11 Hendrik Folmer

Dynamic High-Level Synthesis (HLS) uses additional hardware to perform memory disambiguation at runtime, increasing loop throughput in irregular codes compared to static HLS. However, most irregular codes consist of multiple sibling loops,…

Hardware Architecture · Computer Science 2025-01-27 Robert Szafarczyk , Syed Waqar Nabi , Wim Vanderbauwhede

The rise of large language models has sparked interest in AI-driven hardware design, raising the question: does high-level synthesis (HLS) still matter in the agentic era? We argue that HLS remains essential. While we expect mature agentic…

Computation and Language · Computer Science 2026-02-10 Niansong Zhang , Sunwoo Kim , Shreesha Srinath , Zhiru Zhang

High-level synthesis (HLS) tools have brought FPGA development into the mainstream, by allowing programmers to design architectures using familiar languages such as C, C++, and OpenCL. While the move to these languages has brought…

Hardware Architecture · Computer Science 2019-10-11 Johannes de Fine Licht , Torsten Hoefler

Spatial computing architectures promise a major stride in performance and energy efficiency over the traditional load/store devices currently employed in large scale computing systems. The adoption of high-level synthesis (HLS) from…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-24 Johannes de Fine Licht , Maciej Besta , Simon Meierhans , Torsten Hoefler

High-Level Synthesis has introduced reconfigurable logic to a new world -- that of software development. The newest wave of HLS tools has been successful, and the future looks bright. But is HLS the end-all-be-all to FPGA acceleration? Is…

Hardware Architecture · Computer Science 2021-04-07 Pedro Filipe Silva , João Bispo , Nuno Paulino

As the complexity of digital circuits increases, High-Level Synthesis (HLS) is becoming a valuable tool to increase productivity and design reuse by utilizing relevant Electronic Design Automation (EDA) flows, either for…

Cryptography and Security · Computer Science 2023-12-12 Amalia Artemis Koufopoulou , Kalliopi Xevgeni , Athanasios Papadimitriou , Mihalis Psarakis , David Hely

The increasing demand of dedicated accelerators to improve energy efficiency and performance has highlighted FPGAs as a promising option to deliver both. However, programming FPGAs in hardware description languages requires long time and…

Hardware Architecture · Computer Science 2020-03-31 Maria A. Dávila-Guzmán , Rubén Gran Tejero , María Villarroya-Gaudó , Darío Suárez Gracia

High-level synthesis (HLS) aims at democratizing custom hardware acceleration with highly abstracted software-like descriptions. However, efficient accelerators still require substantial low-level hardware optimizations, defeating the HLS…

Hardware Architecture · Computer Science 2024-11-21 Giovanni Brignone , Roberto Bosio , Fabrizio Ottati , Claudio Sansoè , Luciano Lavagno

The design of efficient hardware accelerators for high-throughput data-processing applications, e.g., deep neural networks, is a challenging task in computer architecture design. In this regard, High-Level Synthesis (HLS) emerges as a…

Hardware Architecture · Computer Science 2021-11-30 Lorenzo Ferretti , Andrea Cini , Georgios Zacharopoulos , Cesare Alippi , Laura Pozzi

The increasing complexity and demand for faster, energy-efficient hardware designs necessitate innovative High-Level Synthesis (HLS) methodologies. This paper explores the potential of Large Language Models (LLMs) to streamline or replace…

Hardware Architecture · Computer Science 2024-08-21 Yuchao Liao , Tosiron Adegbija , Roman Lysecky

High-Level Synthesis enables the rapid prototyping of hardware accelerators, by combining a high-level description of the functional behavior of a kernel with a set of micro-architecture optimizations as inputs. Such optimizations can be…

Hardware Architecture · Computer Science 2025-02-11 Stéphane Pouget , Louis-Noël Pouchet , Jason Cong

Compiling high-level programs to target high-speed packet-processing pipelines is a challenging combinatorial optimization problem. The compiler must configure the pipeline's resources to match the high-level semantics of the program, while…

Networking and Internet Architecture · Computer Science 2022-11-22 Xiangyu Gao , Divya Raghunathan , Ruijie Fang , Tao Wang , Xiaotong Zhu , Anirudh Sivaraman , Srinivas Narayana , Aarti Gupta

This article surveys the System Level Synthesis framework, which presents a novel perspective on constrained robust and optimal controller synthesis for linear systems. We show how SLS shifts the controller synthesis task from the design of…

Optimization and Control · Mathematics 2019-04-04 James Anderson , John C. Doyle , Steven Low , Nikolai Matni

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