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 |