TY  - GEN
A1  - Neubauer, Kai
A1  - Haubelt, Christian
A1  - Wanko, Philipp
A1  - Schaub, Torsten H.
T1  - Utilizing quad-trees for efficient design space exploration with partial assignment evaluation
T2  - 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)
N2  - Recently, it has been shown that constraint-based symbolic solving techniques offer an efficient way for deciding binding and routing options in order to obtain a feasible system level implementation. In combination with various background theories, a feasibility analysis of the resulting system may already be performed on partial solutions. That is, infeasible subsets of mapping and routing options can be pruned early in the decision process, which fastens the solving accordingly. However, allowing a proper design space exploration including multi-objective optimization also requires an efficient structure for storing and managing non-dominated solutions. In this work, we propose and study the usage of the Quad-Tree data structure in the context of partial assignment evaluation during system synthesis. Out experiments show that unnecessary dominance checks can be avoided, which indicates a preference of Quad-Trees over a commonly used list-based implementation for large combinatorial optimization problems.
Y1  - 2018
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/54584
SN  - 978-1-5090-0602-1
SN  - 2153-6961
SP  - 434
EP  - 439
PB  - IEEE
CY  - New York
ER  -