All | Bachelor | Master | Diploma |
2024 |
|
|
|
2023 |
|
|
|
2022 |
|
|
|
2021 |
|
|
|
2020 |
|
|
|
2019 |
|
|
|
2018 |
|
|
|
2017 |
|
|
|
2016 |
|
|
|
2015 |
|
|
|
2014 |
|
|
|
2013 |
|
|
|
2012 |
|
|
|
2011 | |||
2010 | |||
2009 | |||
2008 | |||
2007 | |||
2006 | |||
2005 |
Name | Topic | Degree |
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 |