Abstract:High level synthesis (HLS) is an important enabling technology for the adoption of hardware accelerator technologies. It promises the performance and energy efficiency of hardware designs with a lower barrier to entry in design expertise, and shorter design time. State-of-the-art high level synthesis now includes a wide variety of powerful optimizations that implement efficient hardware. These optimizations can implement some of the most important features generally performed in manual designs including parallel hardware units, pipelining of execution both within a hardware unit and between units, and fine-grained data communication. We may generally classify the optimizations as those that optimize hardware implementation within a code block (intra-block) and those that optimize communication and pipelining between code blocks (inter-block). However, both optimizations are in practice difficult to apply. Real-world applications contain data-dependent blocks of code and communicate through complex data access patterns. Existing high level synthesis tools cannot apply these powerful optimizations unless the code is inherently compatible, severely limiting the optimization opportunity. In this paper we present an integrated framework to model and enable both intra- and inter-block optimizations. This integrated technique substantially improves the opportunity to use the powerful HLS optimizations that implement parallelism, pipelining, and fine-grained communication. Our polyhedral model-based technique systematically defines a set of data access patterns, identifies effective data access patterns, and performs the loop transformations to enable the intra- and inter-block optimizations. Our framework automatically explores transformation options, performs code transformations, and inserts the appropriate HLS directives to implement the HLS optimizations. Furthermore, our framework can automatically generate the optimized communication blocks for fine-grained communication between hardware blocks. Experimental evaluation demonstrates that we can achieve an average of 6.04X speedup over the high level synthesis solution without our transformations to enable intra- and inter-block optimizations.

PowerSyn: A Logic Synthesis Framework with Early Power Optimization

A novel cross-layer framework for early-stage power delivery and architecture co-exploration.

A Cross-Layer Approach for Early-Stage Power Grid Design and Optimization.

Deep-PowerX: A Deep Learning-Based Framework for Low-Power Approximate Logic Synthesis

Early-Stage Power Grid Design: Extraction, Modeling and Optimization

Early-Stage Power Grid Design

An Overview of Power Optimization in High Level Synthesis

A General Framework for Efficient Logic Synthesis

AnySyn: A Cost-Generic Logic Synthesis Framework with Customizable Cost Functions

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis

Physically Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement

Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits

Combining Power and Arithmetic Optimization via Datapath Rewriting

Power Optimization in Logic Synthesis for Mixed Polarity Reed-Muller Logic Circuits.

High Level Synthesis With Multiple Supply Voltages For Energy And Combined Peak Power Minimization

UPF-based Logic Synthesis of Low-Power Design

An ILP-Based Algorithm for Peak Power and Max Module Power Minimization in Behavioral Synthesis

A Comprehensive High-Level Synthesis System for Control-Flow Intensive Behaviors

Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers

Improving High Level Synthesis Optimization Opportunity Through Polyhedral Transformations.

A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design