中文
相关论文

相关论文: Relational Hoare Logic for High-Level Synthesis of…

200 篇论文

In recent years, domain-specific accelerators (DSAs) have gained popularity for applications such as deep learning and autonomous driving. To facilitate DSA designs, programmers use high-level synthesis (HLS) to compile a high-level…

机器学习 · 计算机科学 2024-07-19 Zongyue Qin , Yunsheng Bai , Atefeh Sohrabizadeh , Zijian Ding , Ziniu Hu , Yizhou Sun , Jason Cong

Spatial computing architectures pose an attractive alternative to mitigate control and data movement overheads typical of load-store architectures. In practice, these devices are rarely considered in the HPC community due to the steep…

分布式、并行与集群计算 · 计算机科学 2021-04-23 Tiziano De Matteis , Johannes de Fine Licht , Torsten Hoefler

The increasing complexity of large-scale FPGA accelerators poses significant challenges in achieving high performance while maintaining design productivity. High-level synthesis (HLS) has been adopted as a solution, but the mismatch between…

硬件体系结构 · 计算机科学 2024-10-18 Jason Lau , Yuanlong Xiao , Yutong Xie , Yuze Chi , Linghao Song , Shaojie Xiang , Michael Lo , Zhiru Zhang , Jason Cong , Licheng Guo

High-Level Synthesis (HLS) serves as an agile hardware development tool that streamlines the circuit design by abstracting the register transfer level into behavioral descriptions, while allowing designers to customize the generated…

硬件体系结构 · 计算机科学 2025-06-03 Runkai Li , Jia Xiong , Xi Wang

Optimizing data movements is becoming one of the biggest challenges in heterogeneous computing to cope with data deluge and, consequently, big data applications. When creating specialized accelerators, modern high-level synthesis (HLS)…

硬件体系结构 · 计算机科学 2022-11-09 Stephanie Soldavini , Donatella Sciuto , Christian Pilato

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…

硬件体系结构 · 计算机科学 2025-04-11 Hendrik Folmer

Real time data acquisition systems in nuclear science often rely on high-speed logic designs to reach the fast data rate requirements. They are mostly coded in a hardware description language (HDL). However, in recent years, high level…

仪器与探测器 · 物理学 2018-06-29 Tétrault Marc-André

Dataflow architectures are growing in popularity due to their potential to mitigate the challenges posed by the memory wall inherent to the Von Neumann architecture. At the same time, high-level synthesis (HLS) has demonstrated its efficacy…

硬件体系结构 · 计算机科学 2023-11-08 Hanchen Ye , Hyegang Jun , Deming Chen

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…

硬件体系结构 · 计算机科学 2026-03-03 Lei Xu , Shanshan Wang , Chenglong Xiao

With the current increase in the data produced by the Large Hadron Collider (LHC) at CERN, it becomes important to process this data in a corresponding manner. To begin with, to efficiently select events that contain relevant information…

硬件体系结构 · 计算机科学 2022-12-09 Natalia Cherezova , Dmitri Mihhailov , Sergei Devadze , Artur Jutman

High Level Synthesis (HLS) tools, like the Intel FPGA SDK for OpenCL, improve design productivity and enable efficient design space exploration guided by simple program directives (pragmas), but may sometimes miss important optimizations…

硬件体系结构 · 计算机科学 2022-01-12 Adel Ejjeh , Vikram Adve , Rob Rutenbar

The increasing complexity in today's systems and the limited market times demand new development tools for FPGA. Currently, in addition to traditional hardware description languages (HDLs), there are high-level synthesis (HLS) tools that…

硬件体系结构 · 计算机科学 2020-12-16 Roberto Millon , Emmanuel Frati , Enzo Rucci

High Level Synthesis (HLS) tools offer rapid hardware design from C code, but their compatibility is limited by code constructs. This paper investigates Large Language Models (LLMs) for refactoring C code into HLS-compatible formats. We…

硬件体系结构 · 计算机科学 2025-04-15 Luca Collini , Siddharth Garg , Ramesh Karri

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…

硬件体系结构 · 计算机科学 2021-04-07 Pedro Filipe Silva , João Bispo , Nuno Paulino

High-level synthesis (HLS) has been researched for decades and is still limited to fast FPGA prototyping and algorithmic RTL generation. A feasible end-to-end system-level synthesis solution has never been rigorously proven. Modularity and…

硬件体系结构 · 计算机科学 2022-09-08 Yu Yang , Ahmed Hemani

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…

最优化与控制 · 数学 2019-04-04 James Anderson , John C. Doyle , Steven Low , Nikolai Matni

Large Language Models (LLMs) have revolutionized natural language processing by understanding and generating human-like text. However, the increasing demand for more sophisticated LLMs presents significant computational challenges due to…

计算与语言 · 计算机科学 2025-01-14 Ze Yang , Yihong Jin , Xinhe Xu

High-level synthesis (HLS) accelerates hardware design by enabling the automatic translation of high-level descriptions into efficient hardware implementations. However, debugging HLS code is a challenging and labor-intensive task,…

软件工程 · 计算机科学 2025-07-30 Jing Wang , Shang Liu , Yao Lu , Zhiyao Xie

In high-level synthesis (HLS), C/C++ programs with synthesis directives are used to generate circuits for FPGA implementations. However, hardware-specific and platform-dependent characteristics in these implementations can introduce…

软件工程 · 计算机科学 2025-07-28 Kangwei Xu , Bing Li , Grace Li Zhang , Ulf Schlichtmann

Machine learning (ML) techniques have been applied to high-level synthesis (HLS) flows for quality-of-result (QoR) prediction and design space exploration (DSE). Nevertheless, the scarcity of accessible high-quality HLS datasets and the…

硬件体系结构 · 计算机科学 2025-10-27 Stefan Abi-Karam , Rishov Sarkar , Allison Seigler , Sean Lowe , Zhigang Wei , Hanqiu Chen , Nanditha Rao , Lizy John , Aman Arora , Cong Hao