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
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Forschung
Publikationen
Projekte
Promotionen/Habilitationen
Publikationen
Navigation ausblenden
Publikation: Dissertationsschrift
Model-based symbolic design space exploration at the electronic system level
Grunddaten
Abstract
Autoren
Einrichtung
Grunddaten
Titel
Model-based symbolic design space exploration at the electronic system level
Untertitel
a systematic approach
Erscheinungsjahr
2021
Verlagsort
Rostock
Seitenzahl
124, XXII
Publikationsform
Druckschrift
Publikationsart
Dissertationsschrift
Sprache
Englisch
Letzte Änderung
13.07.2022 06:02:13
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/68213
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
Einrichtung
Fakultät für Informatik und Elektrotechnik (IEF)