Model-based symbolic design space exploration at the electronic system level: a systematic approach Neubauer, Kai , 1991- (VerfasserIn) Haubelt, Christian , 1972- (AkademischeR BetreuerIn) Schaub, Torsten (AkademischeR BetreuerIn) Glaß, Michael (AkademischeR BetreuerIn) Universität Rostock (Grad-verleihende Institution) Universität Rostock Fakultät für Informatik und Elektrotechnik (Grad-verleihende Institution) Text theses Text Hochschulschrift 2021 2021 eng electronic resourceremoteComputermedienOnline-Ressource1 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--(DE-627)180183511X urn:nbn:de:gbv:28-rosdok_id00003664-2 doi: 10.18453/rosdok_id00003664 oclc: 1312916320 ppn: (DE-627)1800501625