Model based symbolic design space exploration at the electronic system level : a systematic approach 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> 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>