Abstract:Dynamically scheduled hardware enables high-level synthesis (HLS) for applications with irregular control flow and latencies, which perform poorly with conventional statically scheduled approaches. Since dynamically scheduled hardware is inherently data flow based, it is beneficial to have an intermediate representation (IR) that captures the global data flow to enable easier transformations. State-of-the-art dynamic HLS utilize control flow based IRs, which model data flow only at the basic block level, requiring the rediscovery of inter-block parallelism. The Regionalized Value State Dependence Graph (RVSDG) is an IR that models (1) control flow as part of the global data flow utilizing regions and (2) memory dependencies using state edges. We propose R-HLS, a new RVSDG dialect targeted for dynamic high-level synthesis. R-HLS explicitly models control flow decisions, routing, and memory, which are only abstractly represented in the RVSDG. Expressing the control flow as part of the data flow reduces the need for complex optimizations to extract performance and enables easy conversion to parallel circuits. Furthermore, we present a distributed memory disambiguation optimization that leverages memory state edges to decouple address generation from data accesses, resulting in resource efficient out-of-program-order execution of memory operations. Our results show that R-HLS effectively exposes parallelism, resulting in fewer executed cycles and a 10% speedup on average, compared to the state-of-the-art in dynamic HLS with optimized memory disambiguation. These results are achieved with a significant reduction in resource utilization, such as a 79% reduction in lookup-tables and 22% reduction in flip-flops, on average.

Compiler Discovered Dynamic Scheduling of Irregular Code in High-Level Synthesis

A High-Frequency Load-Store Queue with Speculative Allocations for High-Level Synthesis

GSA to HDL: Towards principled generation of dynamically scheduled circuits

Memory fartitioning-based modulo scheduling for high-level synthesis.

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

Hybrid Optimization/heuristic Instruction Scheduling for Programmable Accelerator Codesign

Joint Modulo Scheduling And Memory Partitioning With Multi-Bank Memory For High-Level Synthesis

Latency Minimal Scheduling with Maximum Instruction Parallelism

Dependency Graph-based High-level Synthesis for Maximum Instruction Parallelism

Hybrid Static/Dynamic Schedules for Tiled Polyhedral Programs

Max-Flow Scheduling in High-Level Synthesis

A gradual scheduling framework for problem size reduction and cross basic block parallelism exploitation in high-level synthesis

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

Highly Efficient Modulo Loop Pipeline for High Level Synthesis

R-HLS: An IR for Dynamic High-Level Synthesis and Memory Disambiguation based on Regions and State Edges

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

Multi-Bank Memory Aware Force Directed Scheduling for High-Level Synthesis.

Memory Partitioning and Scheduling Co-Optimization in Behavioral Synthesis

High-Quality Iterative Logic Compiler for In-Memory SIMD Computation with Tight Coupling of Synthesis and Scheduling

MBSS:A General Paradigm for Static Schedule for Nested Loops with Dynamic Loop Boundary on CGRAs

Compiler-assisted Leakage-Aware Loop Scheduling for Embedded VLIW DSP Processors.