HOME | CONTACT

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen
Only available in German

Erfolgreiche Verteidigung der Dissertation

Dr. Finn Haedicke




Dr. Finn Haedicke hat seine Promotion „High-Quality Hardware Design and Verification using Word-Level Satisfiability Techniques“ erfolgreich verteidigt.

In seiner Promotion verfolgte Herr Dr. Finn Haedicke das Ziel den Schaltkreisentwurf mit Hilfe formaler Methoden zu verbessern. Dafür entwickelte er das Werkzeug metaSMT, welches die einfache Integration von SAT/SMT-Beweisern mit Hilfe einer domänenspezifischen Sprache erlaubt. Darauf aufbauend verbesserte er verschiedene Problemstellungen, wie z.B. formale Synthese, Constrained Random Verification und das Überdeckungsproblem bei der formalen Eigenschaftsprüfung.

Wir gratulieren!
10-05-2016


Erfolgreiche Verteidigung der Dissertation


©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy