Abstract:In recent years, there has been a surging demand for edge computing of image processing and machine learning workloads. This has reignited interest in the development of custom hardware accelerators that can deliver enhanced performance and improved energy efficiency. These workloads frequently demonstrate affine memory accesses and constant loop bounds. In this paper, we introduce an ILP-based automatic scheduler for high-level synthesis, with a specific emphasis on aggressive pipelining to enhance parallelism. In this study, we propose a unified Integer Linear Programming (ILP) formulation that can identify pipelining opportunities along multiple loop and scalar dimensions. Our multi-dimensional pipelining technique encompasses both inner loop pipelining and dataflow optimizations of Vitis HLS, while also being capable of handling more general memory access patterns compared to the dataflow optimization in Vitis HLS. Furthermore, our approach enables the generation of statically scheduled circuits, leading to improved resource efficiency. We have integrated our scheduler into a high-level synthesis compiler framework (HIR) based on MLIR and conducted performance evaluations. Our findings reveal that our scheduler, in comparison to Vitis HLS, can achieve more aggressive pipelining across multiple producer-consumer loop nests, resulting in reduced overall execution latency. The producer-consumer pipelined execution facilitated by our scheduler yields an average performance improvement of 2.42X across a set of representative benchmarks when compared to only loop pipelining. Furthermore, we achieved an average performance improvement of 1.30X over Vitis HLS with dataflow optimizations.

Scheduling Algorithm for Pipeline Synthesis

Global-optimized scheduling algorithm based on combination of sub-graphs

Scheduling to timing optimization for a novel high-level synthesis approach

Highly Efficient Modulo Loop Pipeline for High Level Synthesis

Optimal Functional Assignment and Communication Selection under Timing Constraint for Self-Timed Pipelines

System Level Asynchronous Virtual Pipeline on Dynamically and Partially Reconfigurable Architecture

Synthesizing Distributed Pipelining Systems with Timing Constraints Via Optimal Functional Unit Assignment and Communication Selection

Max-Flow Scheduling in High-Level Synthesis

On the Design of Time-Constrained and Buffer-Optimal Self-Timed Pipelines

Scheduling Information-Guided Efficient High-Level Synthesis Design Space Exploration

The Pipeline Style Job Scheduling Algorithm in an Electronic Manufacturing Automation System

A study on the pipeline style way of IC job scheduling

Optimal functional unit assignment and voltage selection for pipelined MPSoC with guaranteed probability on time performance

Scheduling Algorithm Based on System of Difference Constraints Using Network Flow

Exploiting Scheduling Information for Efficient High-Level Synthesis Design Space Exploration

Micro-architecture Pipelining Optimization with Throughput-Aware Floorplanning.

A transition language for scheduling analysis in operator design methodology

Improved Force Directed Scheduling Under the Time-constrained Condition

A dynamic programming based algorithm for post-scheduling frequency assignment in energy-efficient high-level synthesis

Task Scheduling Algorithm Of Fpga For On-Board Reconfigurable Coprocessor

Automatic multi-dimensional pipelining for high-level synthesis of dataflow accelerators