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