|
Home « Lehre « Abschlussarbeiten
Liebe Interessentinnen
und liebe Interessenten,
in unserer Arbeitsgruppe hat es sich bewährt, dass Themen für Bachelor- und Masterarbeiten 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.
Mögliche Themengebiete sind unter anderem:
- Entwurfsmethodik für Quantencomputer
- Formale Verifikation von Prozessoren
- Approximative Berechnung in arithmetischen Schaltungen
- Testmustergenerierung für integrierte Schaltungen
- Einsatz neuronaler Netze im Schaltkreisentwurf
- ...
Um einen Überblick über die Bandbreite der möglichen Themen zu geben, findet sich auf dieser Seite eine Übersicht über bereits abgeschlossene Abschlussarbeiten.
|
Wählen Sie nun aus, welche Arbeiten Sie einsehen möchten:
2009
| Name | Thema | Abschluss |
| Jan Carstens | Testmustergenerierung durch Kombination Boolescher Beweiser | Diplom |
| Jannes Dinse | System-on-Chip Entwurf eines RISC mit einem FPGA | Diplom |
| Hristina Fidanoska | Complete Algorithms for Solving the Boolean Satisfaiablitity Problem | Bachelor |
| Alexander Finder | Heuristische Verfahren zur Logiksynthese für Pseudo Kronecker Ausdrücke | Diplom |
| Manuel Friebus | Visualisierung von SystemC auf Systemebene | Diplom |
| Markus Groß | Co-Simulation von SystemC-Modellen unterschiedlicher Abstraktionsebenen | Bachelor |
| Finn Haedicke | Constraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-Beweisern | Diplom |
| Hoang M. Le | Formal Verification of abstract SystemC designs via Bounded Model Checking | Diplom |
| Andreas Schröder | Entwicklung eines Synthese-Verfahrens für SystemC-Beschreibungen | Bachelor |
| Olaf von der Ahe | Formale Verifikation von sequentiellen Schaltkreisen mittels QBF-Beweisern | Diplom |
| Hongyan Zhang | Modellierung, Validation und Verifikation der SIMATIC S5 CPU | Diplom |
|
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.
|
|
