TY  - BOOK
AU  - Neubauer, Kai
PY  - 2021
DA  - 2021//
TI  - Model-based symbolic design space exploration at the electronic system level: a systematic approach
PB  - Universität Rostock
CY  - Rostock
AB  - 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>
UR  - http://purl.uni-rostock.de/rosdok/id00003664
UR  - https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok_id00003664-2
UR  - https://d-nb.info/1293537497/34
UR  - https://doi.org/10.18453/rosdok_id00003664
DO  - 10.18453/rosdok_id00003664
LA  - English
N1  - vorgelegt von Kai Neubauer
ID  - 1800501625
ER  -