Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
Hilfe
Sitemap
Impressum
Datenschutz
node1
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikation: Dissertationsschrift
Model-based symbolic design space exploration at the electronic system level
Grunddaten
Abstract
Autoren
Grunddaten
Titel
Model-based symbolic design space exploration at the electronic system level
Untertitel
a systematic approach
Erscheinungsjahr
2021
Verlag
Universität Rostock
Verlagsort
Rostock
Publikationsform
Elektronische Ressource
Publikationsart
Dissertationsschrift
Sprache
Englisch
DOI
10.18453/rosdok_id00003664
Letzte Änderung
13.07.2022 06:02:14
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/68218
Links zu Katalogen
Abstract
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.
Autor
Neubauer, Kai