Abstract:In high-level synthesis for real-time systems, it typically employs heterogeneous functional-unit types to achieve high-performance and low-cost designs. In the design phase, it is critical to determine which functional-unit type to be mapped for each operation in a given application such that the total cost is minimized while the deadline can be met. For a path or tree structured application, existing approaches can obtain the minimum-cost assignment, called “optimal assignment”, under which the resultant system satisfies a given timing constraint. However, it is still an open question whether there exist efficient algorithms to obtain the optimal assignment for the directed acyclic graph (DAG), or more generally, the data-flow graph with cycles (cyclic DFG). For DAGs, by analyzing the property of the problem, this paper designs an efficient algorithm to obtain the optimal assignments. For cyclic DFGs, we approach this problem with the combination of retiming technique to thoroughly explore the design space. We formulate a Mixed Integer Linear Programming (MILP) model to give the optimal solution. But because of the high degree of its time complexity, we devise a practical algorithm to obtain near-optimal solutions within a minute. Experimental results show the effectiveness of our algorithms. Specifically, compared with existing techniques, we can achieve 25.70 and 30.23 percent reductions in total cost on DAGs and cyclic DFGs, respectively.

A General Graph Based Pessimism Reduction Framework for Design Optimization of Timing Closure.

Design Time Body Bias Selection for Parametric Yield Improvement.

A Provably Good and Practically Efficient Algorithm for Common Path Pessimism Removal in Large Designs

A Fast And Accurate Approach For Common Path Pessimism Removal In Static Timing Analysis

A Fast and Simple Block-Based Approach for Common Path Pessimism Removal in Static Timing Analysis

GPU-accelerated Path-based Timing Analysis.

Simultaneous Slack Budgeting and Retiming for Synchronous Circuits Optimization

Network Flow-Based Simultaneous Retiming and Slack Budgeting for Low Power Design

A Fast Timing Analysis and Optimization for Latch-Based Circuits

Timing-driven Approximate Logic Synthesis Based on Double-chase Grey Wolf Optimizer

A Dedicated Greedy Short Path Padding Solution Method For Error Resilient Circuit Designs

Concurrent Sign-off Timing Optimization Via Deep Steiner Points Refinement.

GPU-accelerated Critical Path Generation with Path Constraints

A Unified Theory of Timing Budget Management

Optimal Functional-Unit Assignment for Heterogeneous Systems under Timing Constraint

Transistor-Level Optimization Methodology for GRM FPGA Interconnect Circuits.

A GPU-Accelerated Framework for Path-Based Timing Analysis

Timing slack optimization approach using FPGA hybrid routing strategy of rip-up-retry and pathfinder

Optimization for Timing-Speculated Circuits by Redundancy Addition and Removal

Design Optimization by Fine-grained Interleaving of Local Netlist Transformations in Lagrangian Relaxation

Statistical Timing Analysis and Criticality Computation for Circuits with Post-Silicon Clock Tuning Elements