Content: Publications

Exact Multi-Objective Design Space Exploration using ASPmT

In Proc. the Twenty-first Conference on Design, Automation and Test in Europe (DATE'18), pp. 257-260

Authors:Kai Neubauer, Philipp Wanko, Tobias Neumann, Christian Haubelt
Type:Article in Conference Proceedings
Publication Date:March 2018
Conference:the Twenty-first Conference on Design, Automation and Test in Europe (DATE'18)

Abstract: An efficient Design Space Exploration (DSE) is imperative for the design of modern, highly complex embedded systems in order to steer the development towards optimal design points. The early evaluation of design decisions at system-level abstraction layer helps to find promising regions for subsequent development steps in lower abstraction levels by diminishing the complexity of the search problem. In recent works, symbolic techniques, especially Answer Set Programming (ASP) modulo Theories (ASPmT), have been shown to find feasible solutions of highly complex system-level synthesis problems with non-linear constraints very efficiently. In this paper, we present a novel approach to a holistic system-level DSE based on ASPmT. To this end, we include additional background theories that concurrently guarantee compliance with hard constraints and perform the simultaneous optimization of several design objectives. We implement and compare our approach with a state-of-the-art preference handling framework for ASP. Experimental results indicate that our proposed method produces better solutions with respect to both diversity and convergence to the true Pareto front.

BibTeX
@InProceedings{newascha18b-2018,
  title =	{{Exact Multi-Objective Design Space Exploration using ASPmT}},
  author =	{Kai Neubauer and Philipp Wanko and Tobias Neumann and Christian Haubelt},
  booktitle =	{Proc. of the Twenty-first Conference on Design, Automation and Test in Europe (DATE'18)},
  year =	{2018},
  pages =	{257-260},
}