%0 Book
%T Model-based symbolic design space exploration at the electronic system level: a systematic approach
%A Neubauer, Kai
%D 2021
%C Rostock
%C Universität Rostock
%G English
%F 1800501625
%O vorgelegt von Kai Neubauer
%O GutachterInnen: Christian Haubelt (Universität Rostock) ; Torsten Schaub (Universität Potsdam) ; Michael Glaß (Universität Ulm)
%O Dissertation Universität Rostock 2022
%X In this thesis, a novel, fully systematic approach is proposed that addresses the automated design space exploration at the electronic system level. The problem is formulated as multi-objective optimization problem and is encoded symbolically using Answer Set Programming (ASP). Several specialized solvers are tightly coupled as background theories with the foreground ASP solver under the ASP modulo Theories (ASPmT) paradigm. By utilizing the ASPmT paradigm, the search is executed entirely systematically and the disparate synthesis steps can be coupled to explore the search space effectively.<eng>
%L 004
%9 theses
%9 Text
%9 Hochschulschrift
%R 10.18453/rosdok_id00003664
%U http://purl.uni-rostock.de/rosdok/id00003664
%U https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok_id00003664-2
%U https://d-nb.info/1293537497/34
%U https://doi.org/10.18453/rosdok_id00003664