| Titel: |
| Model-based symbolic design space exploration at the electronic system level: a systematic
approach |
|
| Beteiligte Personen: |
|
| Beteiligte Körperschaften: |
| Universität Rostock[Grad-verleihende Institution] |
 |
38329-6 |
| Universität Rostock, Fakultät für Informatik und Elektrotechnik[Grad-verleihende Institution] |
|
10085032-7 |
|
| |
| Zusammenfassung: |
|
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.
[Englisch] |
|
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.
[Deutsch] |
|
| Dokumenttyp: |
|
| Einrichtung: |
| Fakultät für Informatik und Elektrotechnik |
|
| Sprache: |
|
| Sachgruppe der DNB: |
| 004 Informatik |
| 621.3 Elektrotechnik, Elektronik |
|
| |
Veröffentlichung /
Entstehung: |
Rostock
|
Rostock: Universität Rostock
|
|
2021
|
|
| Verantwortlichkeitsangabe: |
| vorgelegt von Kai Neubauer |
|
| |
| Identifikatoren: |
|
| |
| Zugang: |
|
frei zugänglich (Open Access)
|
|
| Lizenz/Rechtehinweis: |
|
|
| RosDok-ID: |
rosdok_disshab_0000002735 |
| erstellt / geändert am: |
28.04.2022 / 08.08.2023
|
| Metadaten-Lizenz: |
Die Metadaten zu diesem Dokument sind gemeinfrei
(CC0 1.0 Universal Public Domain Dedication). |
Zugang
Viewer
Volltext