Erfolgreiche Verteidigung der Dissertation
Dr. Sallar Ahmadi-Pour
Dr. Sallar Ahmadi-Pour hat seine Dissertation "From Abstract Systems to Concrete Chips: Bridging Gaps in Abstraction Techniques for Design, Verification and Optimization with Modern System-based Hardware Development" erfolgreich verteidigt.
Dank des technologischen Fortschritts sind Computer inzwischen allgegenwärtig, ob an unseren Handgelenken, in unseren Kaffeemaschinen oder die Künstliche Intelligenz in unseren Smartphones. Viele moderne Anwendungsfälle benötigen immer schnellere Computer, mit einer steigenden Zahl an Komponenten. Um diese steigende Komplexität für den Entwurf und die Verifikation dieser Computersysteme handzuhaben, werden Abstraktionstechniken eingesetzt, die eine Reduktion der Komplexität zur Folge haben. Trotz modernster Abstraktionstechniken, gibt es Lücken zwischen Abstraktionen und Systemdarstellungen, welche Einschränkungen in der Systemanalyse zur Folge haben.
Die Dissertation von Dr. Sallar Ahmadi-Pour befasste sich mit dem Lückenschluss hin zu einer konsistenteren Einbindung von Abstraktionstechniken in den Systementwurf. Hierbei werden verschiedenste Aspekte des Systementwurfs mit Virtuellen Prototypen (VPs), Verifikation von Prozessor- und Peripheriegeräten sowie Hardware/Software Partitionierung und Optimierung betrachtet. Die Ansätze sind bis auf einzelne Ausnahmen zusammen mit dem Quellcode veröffentlicht worden, um eine Zugänglichkeit für Wissenschaftler, Lehrende und die Industrie zu gewährleisten.
Wir gratulieren!
In X teilen
In LinkedIn teilen
