Abstract:Modeling high-level synthesis (HLS) as mixed integer linear programming (MILP) affords the opportunity to integrate constraints and optimization objectives of hardware design in the form of a mathematical intermediate representation. Consequently, it is possible to improve previously developed methods to solve MILP models and customize them for application in domain-specific functions. However, the problem remains NP-hard, and solving large models requires methods that investigate the state space intelligently. Despite the high potential of branch and bound (B&B) algorithms to solve MILP models quickly, computing the best answer is still an open challenge. In this paper, we first develop three model improvement techniques that reduce the size of the search space for MILP models derived from HLS. Then, we present a new B&B algorithm to tackle the computational challenge by considering the properties of the original HLS problem. In this regard, we propose two heuristic techniques that enable the B&B algorithm to prove that some branches are not promising and should be pruned. Moreover, we have developed a best-first strategy by suggesting a new priority key calculation scheme to improve tree traversal in the B&B algorithm. Besides, the sifting method has been employed as the LP relaxation method to achieve fast processing of large models. Our proposed approach was evaluated using a set of MILP models derived from the synthesis of Mediabench data flow graphs. The experimental results indicate that our approach outperforms modern MILP solvers in terms of speed and the scale of the MILP models which can solve. According to the test results on the large MILP models, we solved models with 7254 integer and binary variables in less than 13 minutes.

Soy: An Efficient MILP Solver for Piecewise-Affine Systems

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.

A Semi-Continuous Pwa Model Based Optimal Control Method For Nonlinear Systems

A PSO-LP Cooperative Algorithm for Mixed Integer Nonlinear Programming

Stabilizing Model Predictive Control Scheme for Piecewise Affine Systems with Maximal Positively Invariant Terminal Set

Robust predictive control of constrained piecewise affine systems based on a contractive sequence of sets

Piecewise linear approximation for MILP leveraging piecewise convexity to improve performance

Tailored Presolve Techniques in Branch-and-Bound Method for Fast Mixed-Integer Optimal Control Applications

Sensitivity Analysis for Piecewise-Affine Approximations of Nonlinear Programs with Polytopic Constraints

A fast MILP solver for high-level synthesis based on heuristic model reduction and enhanced branch and bound algorithm

Mixed Integer Optimal Control of Systems with Typical Nonlinear Components

Polyhedral-based Methods for Mixed-Integer SOCP in Tree Breeding

Approximate Dynamic Programming for Constrained Piecewise Affine Systems with Stability and Safety Guarantees

PAAMP: Polytopic Action-Set And Motion Planning for Long Horizon Dynamic Motion Planning via Mixed Integer Linear Programming

Model Predictive Control of Piecewise Affine System with Constrained Input and Time Delay

HW/SW Partitioning Algorithm Targeting MPSOC with Dynamic Partial Reconfigurable Fabric.

Multi-objective Integer Programming Approaches for Solving the Multi-criteria Test-suite Minimization Problem: Towards Sound and Complete Solutions of a Particular Search-based Software-engineering Problem

A High-Performant Multi-Parametric Quadratic Programming Solver

Robust Model Predictive Control for Piecewise Affine Systems

Sampling-based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems