Model-based symbolic design space exploration at the electronic system level
a systematic approach
Neubauer, Kai
1991-
VerfasserIn
aut
Haubelt, Christian
1972-
AkademischeR BetreuerIn
dgs
Schaub, Torsten
AkademischeR BetreuerIn
dgs
Glaß, Michael
AkademischeR BetreuerIn
dgs
Universität Rostock
Grad-verleihende Institution
dgg
Universität Rostock
Fakultät für Informatik und Elektrotechnik
Grad-verleihende Institution
dgg
text
theses
Text
Hochschulschrift
gw
2021
monographic
XA-DE
Rostock
Universität
publisher
2021
Rostock
Universitätsbibliothek
distributor
eng
1 Online-Ressource
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>
In dieser Arbeit wird ein vollständig systematischer Ansatz präsentiert, der sich mit der Entwurfsraumexploration auf der elektronischen Systemebene befasst. Das Problem wird als multikriterielles Optimierungsproblem formuliert und symbolisch mit Hilfe von Answer Set Programming (ASP) kodiert. Spezialisierte Solver sind im Rahmen des ASP modulo Theories (ASPmT) Paradigmas als Hintergrundtheorien eng mit dem ASP Solver gekoppelt. Durch die Verwendung von ASPmT wird die Suche systematisch ausgeführt und die individuellen Schritte können gekoppelt werden, um den Suchraum effektiv zu durchsuchen.<ger>
vorgelegt von Kai Neubauer
GutachterInnen: Christian Haubelt (Universität Rostock) ; Torsten Schaub (Universität Potsdam) ; Michael Glaß (Universität Ulm)
Dissertation Universität Rostock 2022
004
621.3
004.2
004
53.55
http://purl.uni-rostock.de/rosdok/id00003664
https://doi.org/10.18453/rosdok_id00003664
https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok_id00003664-2
https://d-nb.info/1293537497/34
Model-based symbolic design space exploration at the electronic system level
Rostock, 2021
Druckausgabe
(DE-627)180183511X
Neubauer, Kai, 1991 -
urn:nbn:de:gbv:28-rosdok_id00003664-2
10.18453/rosdok_id00003664
1312916320
rda
DE-627
220428
1800501625
20251226T202044.0
Converted from MARCXML to MODS version 3.8 using MARC21slim2MODS3-8_XSLT1-0.xsl
(Revision 1.174 20250328)
ger