Abstract: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 described by inserting pragmas e.g. pipelining and replication of units, or even higher level transformations for HLS such as automatic data caching using the AMD/Xilinx Merlin compiler. Selecting the best combination of pragmas, even within a restricted set, remains particularly challenging and the typical state-of-practice uses design-space exploration to navigate this space. But due to the highly irregular performance distribution of pragma configurations, typical DSE approaches are either extremely time consuming, or operating on a severely restricted search space. This work proposes a framework to automatically insert HLS pragmas in regular loop-based programs, supporting pipelining, unit replication, and data caching. We develop an analytical performance and resource model as a function of the input program properties and pragmas inserted, using non-linear constraints and objectives. We prove this model provides a lower bound on the actual performance after HLS. We then encode this model as a Non-Linear Program, by making the pragma configuration unknowns of the system, which is computed optimally by solving this NLP. This approach can also be used during DSE, to quickly prune points with a (possibly partial) pragma configuration, driven by lower bounds on achievable latency. We extensively evaluate our end-to-end, fully implemented system, showing it can effectively manipulate spaces of billions of designs in seconds to minutes for the kernels evaluated.

SPUR Programming Model for to Embedded Media Processing Architecture

SPC-Indexed Indirect Branch Hardware Cache Redirecting Technique in Binary Translation

Design of a Media-Enhanced and Reconfigurable RISC ,Microprocessor

SPREAD: A Streaming-Based Partially Reconfigurable Architecture and Programming Model

SPAP: A programming language for heterogeneous many-core systems

Streaming HD H.264 Encoder on Programmable Processors.

High-Performance Implementation of Stream Model Based H.264 Video Coding on Parallel Processors

A High-level Language and Its Compiler System for a Media Processor

Efficient Scratchpad Memory Management Based on Multi-thread for MPSoC Architecture.

A Single-Chip Real-Time Programmable Video Signal Processor

Coarse-grained reconfigurable multimedia processor

New Programmable Video Signal Processor for Motion Estimation and Motion Compensation.

System of a Programmable-Chip-based Image-Processing System

Compiler-directed scratchpad memory data transfer optimization for multithreaded applications on a heterogeneous many-core architecture

Design And Implementation Of Reconfigurable Stream Processor In Multimedia Applications

Compiler-assisted leakage energy optimization of media applications on stream architectures

Configurable Heterogeneous MPSoC Architecture Exploration Using Abstraction Levels

Programmatic Control of a Compiler for Generating High-performance Spatial Hardware

Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear Programming Approach

A Reconfigurable Multi-Processor Soc For Media Applications

Spatial: a language and compiler for application accelerators