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

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 metho...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:The Journal of supercomputing Ročník 79; číslo 11; s. 12042 - 12073
Hlavní autori: Mirhosseini, Mina, Fazlali, Mahmood, Fallah, Mohammad K, Lee, Jeong-A
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: New York Springer US 01.07.2023
Springer Nature B.V
Predmet:
Algorithms
Branch and bound methods
Collaboration
Compilers
Computer Science
Design optimization
Designers
Dynamic programming
Embedded systems
Energy consumption
Flow graphs
Heuristic
High level synthesis
Integer programming
Interpreters
Linear programming
Methods
Mixed integer
Model reduction
Optimization
Processor Architectures
Programming Languages
Relaxation method (mathematics)
Scheduling
Solvers
High-level synthesis
Hybrid branch and bound
Mixed integer linear programming
ISSN:0920-8542, 1573-0484
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0920-8542
1573-0484
DOI:10.1007/s11227-023-05109-2