Designers of custom streaming accelerators traditionally use HDLs (Hardware Description Languages), but this is time-consuming and requires advanced hardware expertise. C-based HLS (High-Level Synthesis) offers a higher level of abstraction and faster design time, but still requires some hardware expertise and performance is often left on the table. A promising direction is to use HLS with high-level functional parallel patterns such as map and reduce. Prior works have shown that high performance is achievable this way. However, designing such compiler systems is challenging because the optimizer must handle a large number of language primitives and interactions between them.

This paper introduces a minimal functional IR (Intermediate Representation) for hardware design, Sirop, which can express both pipelining and spatial parallelism with just five primitives. High-level operators from prior works are represented as syntax sugar and lowered to the core language. This simplifies hardware generation and optimization.

Sirop is compared with existing compilers on a set of image processing and linear algebra benchmarks. The Sirop designs use 61% fewer ALMs (Adaptive Logic Modules) than Aetherling, 68% fewer ALMs than Shir, and 76% fewer ALMs than the Intel HLS compiler, all for the same throughput.

Tue 16 Jun

Displayed time zone: Mountain Time (US & Canada) change

13:40 - 15:20
Session 4: Specialized Hardware and Accelerator DesignLCTES at Flatirons 3
Chair(s): Jongouk Choi University of Central Florida
13:40
22m
Talk
Can Fine-Grain Multi-threading Subsume VLIW?
LCTES
Scott Pomerville Northern Michigan University, Soner Onder Michigan Technological University, Gang-Ryung Uh Florida State University, David Whalley Florida State University
DOI
14:02
22m
Talk
Sirop: A Small IR for HLS with Parallel PatternsResults ReproducedArtifacts AvailableArtifacts Evaluated
LCTES
Louis Hildebrand McGill University, Christophe Dubach McGill University
DOI
14:24
22m
Talk
A Functional Approach to Synthesizing Routable Programmable Accelerators for Neural NetworksResults ReproducedArtifacts AvailableArtifacts Evaluated
LCTES
Tzung-Han Juang McGill University, Paul Teng McGill University, Canada, Christophe Dubach McGill University
DOI
14:46
22m
Talk
LoopHint: A Compiler-Assisted Loop Branch Predictor for Embedded DSPsRemote
LCTES
Yuanyang Xiang Institute of Automation, Chinese Academy of Sciences, Chen Xu , xiaoruozhou Institute of Automation, Chinese Academy of Sciences, Zhiwei Zhang Institute of Automation, Chinese Academy of Sciences
DOI