Speculative dataflow circuits

L Josipovic, A Guerrieri, P Ienne - Proceedings of the 2019 ACM/SIGDA …, 2019 - dl.acm.org
With FPGAs facing broader application domains, the conversion of imperative languages
into dataflow circuits has been recently revamped as a way to overcome the conservatism of …

Toward speculative loop pipelining for high-level synthesis

S Derrien, T Marty, S Rokicki… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
Loop pipelining (LP) is a key optimization in modern high-level synthesis (HLS) tools for
synthesizing efficient hardware datapaths. Existing techniques for automatic LP are limited …

A Unified Memory Dependency Framework for Speculative High-Level Synthesis

JM Gorius, S Rokicki, S Derrien - Proceedings of the 33rd ACM SIGPLAN …, 2024 - dl.acm.org
Heterogeneous hardware platforms that leverage application-specific hardware accelerators
are becoming increasingly popular as the demand for high-performance compute intensive …

A Speculative Loop Pipeline Framework with Accurate Path Modeling for High-Level Synthesis

Y She, J Liu, Y Huang, RCC Cheung… - ACM Transactions on …, 2024 - dl.acm.org
Loop pipelining is a key optimization in High-Level Synthesis (HLS), aimed at overlap**
the execution of iterations. Static scheduling, dominant in commercial HLS tools, configures …

High-level synthesis of dynamically scheduled circuits

L Josipovic - 2021 - infoscience.epfl.ch
Abstract High-Level Synthesis (HLS) tools generate hardware designs from high-level
programming languages. These tools almost universally build datapaths that are controlled …

Syncopation: Adaptive Clock Management for High-Level Synthesis Generated Circuits on FPGAs

K Gibson, E Roorda, DH Noronha… - 2020 30th International …, 2020 - ieeexplore.ieee.org
High-level synthesis (HLS) tools improve hardware designer productivity by enabling
software design techniques during hardware development. During HLS the delay of paths …

Profiling-Based Control-Flow Reduction in High-Level Synthesis

A Liolli, O Ragheb, J Anderson - … International Conference on …, 2021 - ieeexplore.ieee.org
Control flow in a program can be represented in a directed graph, called the control flow
graph (CFG). Nodes in the graph represent straight-line segments of code, basic blocks, and …

High-Level Synthesis of Instruction Set Processors

JM Gorius - 2024 - inria.hal.science
This thesis focuses on automatically synthesizing instruction set processors using High-
Level Synthesis (HLS). In particular, we aim at automatically generating in-order pipelined …

Adaptive Clock Management of HLS-generated Circuits on FPGAs

K Gibson, E Roorda, DH Noronha… - ACM Transactions on …, 2022 - dl.acm.org
In this article, we present Syncopation, a performance-boosting fine-grained timing analysis
and adaptive clock management technique for High-Level Synthesis-generated circuits …

Efficient Design Space Exploration for Dynamic & Speculative High-Level Synthesis

D Leothaud, JM Gorius, S Rokicki… - … Conference on Field …, 2024 - hal.science
High-Level Synthesis performs well for compute-intensive loops with regular control but
struggles to uncover parallelism in kernels with complex control-flow. Novel scheduling …