|
Home « Lehre « Abschlussarbeiten
 |
Liebe Interessentinnen und liebe Interessenten,
in unseren Arbeitsgruppen hat es sich bewährt, dass Bachelor-, Master- und Diplomarbeitsthemen
in einem Gespräch erarbeitet werden.
Feste Themen geben wir für gewöhnlich nicht vor
und bieten daher an, sich persönlich, telefonisch oder per Email
zu melden.
Mit freundlichen Grüßen
Prof. Dr. Rolf Drechsler &
Prof. Dr. Görschwin Fey
|
Wählen Sie nun aus, welche Arbeiten Sie einsehen möchten:
Diplom 2009
| Name | Thema |
| Jan Carstens | Testmustergenerierung durch Kombination Boolescher Beweiser |
| Jannes Dinse | System-on-Chip Entwurf eines RISC mit einem FPGA |
| Alexander Finder | Heuristische Verfahren zur Logiksynthese für Pseudo Kronecker Ausdrücke |
| Manuel Friebus | Visualisierung von SystemC auf Systemebene |
| Finn Haedicke | Constraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-Beweisern |
| Hoang M. Le | Formal Verification of abstract SystemC designs via Bounded Model Checking |
| Olaf von der Ahe | Formale Verifikation von sequentiellen Schaltkreisen mittels QBF-Beweisern |
| Hongyan Zhang | Modellierung, Validation und Verifikation der SIMATIC S5 CPU |
|
Im Bereich ' Team', bzw. ' Alumni' können Sie
einsehen, wer von den Absolventen im Anschluss weiter in der Gruppe geblieben ist, bzw. bereits den Doktortitel erlangt hat.
|
|
