Homepage Sitemap Contact




Home « Studies « Master Thesis
Dear reader,

entering a dialog to find interesting topics for Bachelor and Master theses has been proven benefitial for our working group in the past.

Thus we do not supply a fixed list of topics to choose from. Please don't hesitate to contact us personally, by phone, or email.

Possible thesis topics include:
  • Design methodology for quantum computers
  • Formal verification of processors
  • Approximate computing in arithmetic circuits
  • Test pattern generation for integrated circuits
  • Applications of neural networks in the circuit design
  • ...
In order to provide you with an overview of the range of possible topics, you will find a list of already finished theses further down on this page.

Choose a document for viewing:

All Bachelor Master Diploma
2022 anzeigen
anzeigen
2021 anzeigen
anzeigen
2020 anzeigen
anzeigen
2019 anzeigen
anzeigen
2018 anzeigen
anzeigen
2017 anzeigen
anzeigen
2016 anzeigen
anzeigen
2015 anzeigen
anzeigen
anzeigen
2014 anzeigen
anzeigen
anzeigen
2013 anzeigen
anzeigen
2012 anzeigen
anzeigen
anzeigen
2011 anzeigen anzeigen anzeigen
2010 anzeigen anzeigen
2009 anzeigen anzeigen
2008 anzeigen
2007 anzeigen
2006 anzeigen
2005 anzeigen


NameTopicYear
Jan
Zielasko
Visualization of Symbolic Execution 3D Visualization of Symbolic Program Execution-Traces Generated by Instrumentation of a RISC-V Virtual Prototype2022
Arbnor
Miftari
Development of New Software Tests for Robotic Motion Plans Through Mutation Testing2022
Mathis
Logemann
Design, Implementierung und Cross-level Verifikation eines SpinalHDL-basierten RISC-V Interrupt Controllers2022
Rune
Krauss
Speichereffizienter Aufbau von binären Entscheidungsdiagrammen für Logiksynthese und Verifikation durch Ausnutzung von Ordnungseigenschaften 2022
Christian Friedrich
Coors
Verification of Programs Generated from HDL for the Programmable Logic-In-Memory (PLiM) Architecture2022
Jan
Kleinekathöfer
Formal Verification of Floating Point Adders in Polynomial Time2022
Leon
Klimasch
Verfahren zur automatisierten Generierung eines Digital Twins für die Berechnung der Goldenen LBIST Signatur2022
Lennart Ove
Weingarten
Formaler Nachweis von Schaltkreisen auf Polynomiale Verifizierbarkeit2022
Marcel
Merten
Entwicklung eines Hardware-basierten Evolutionären Algorithmus unter Verwendung von Mehrzieloptimierung zur Robustheitssteigerung sequentieller Schaltkreise2021
Martha
Schnieber
Polynomial Formal Verification of Approximate Functions2021
Milan
Funck
Design, Implementierung und Evaluierung einer RISC-V Prozessorerweiterung auf VP Ebene2021
Christoph
Kellermann
Effizienzerhöhung des Fine-Tunings nach dem Prunen von Convolutional Neural Networks2020
Matthias
von Rüden
Optimierung einer RISC-V Simulation mit Just-in-Time Kompilierung2020
Sallar
Ahmadi-Pour
MicroRV32 - Eine SpinalHDL basierte RISC-V RV32I_Zicsr Implementierung für die Nutzung auf einem Field Programmable Gate Array2020
Jonas
Wloka
Development of an Optimized GPU-based Implementation of the Elliptic Curve Factorization Method2019
Gösta
Brünjes
Probabilistic Topic Modeling for Industrial Documents2019
Igor
Kazhdan
Entwurf und Simulation von QCA-Schaltungen auf Gatterebene2019
Maximilian
Lünert
Optimization of biochip escape routing algorithms and integration into KiCAD2019
Kevin Leonhard
Schneider
Improving the Heuristics for One-Pass-Synthesis of Digital Microfluidic Biochips2018
Hauke
Edeler
Lösung komplexer DMFB-Routenprobleme per Reinforcement Learning 2018
Tom Vincent
Peters
Mastering the game of Dots and Boxes with deep neural networks and tree search2018
Malte Christian
Struck
Ein Service-Discovery-Protokoll für Netze heterogener Sensoreinheiten2018
Bruns
Niklas
Erkennung von Hardware-Trojanern in SystemC HLS Modellen durch Coverage-getriebenes Fuzzing2018
Jil
Tietjen
Symbolische Ausführung eines RISC-V-Prozessors2018
Stefan
Hillmich
Graph-Based Analysis of Growth Patterns in the True Slime Mold Physarum polycephalum2018
Lars
Schmertmann
Analyse von SHA256 mit Hilfe von CryptoMiniSat2017
Dan
Sörgel
Generierung von UVM-SystemC Testumgebungen unter Verwendung von Testfalltransformation2017
Eike
Behrends
Detektion von Abhängigkeiten zwischen User Stories mittels NLP2016
Max Benjamin
Nitze
Constraint-based Test-Data Generation2016
Carsten
Schiefelbein
Entwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPIS2016
Ronald Smith
Djomkam Yotedje
Generic Information Extraction Using Triple-Store Databases2016
Maxime Djao
Mola
Optimierung von Quantenschaltungen für Nearest Neighbor Architekturen2015
Alexander T.
Lange
Konzeptentwurf einer ereignisbasierten Steuerung für Raumfahrzeuge2015
Clemens
Werther
Allgemeine Probleme der Handlungsreise Ablaufplanung unter Realbedingungen2015
Katrin
Thielmann
Hardware-in-the-loop-Testen von Satelliten-on-Board-Komponenten: Design und Implementierung eines Testframeworks2015
Xiao
Gao
Charakterisierung der Fehler von Eingebetteten Systemen2014
Sebastian
Huhn
Verwendung strukturellen Wissens in formalen Beweistechniken zur Beschleunigung der Testgenerierung2014
Vladimir
Herdt
Complete Symbolic Simulation of SystemC Models2014
Murat
Göksu
Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für Satelliten2014
Christoph
Hilken
Verifikation dynamischer Aspekte in SysML Modellen2012
Bastian
Blachetta
SystemC-Synthese aus SysML-Modellen2012
Wanja
Schöpfer
Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem Intensivbeatmungsgerät2012
Christian
Otterstedt
Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern2012
Markus
Groß
Automatische kontrollflussbasierte Programm–Synthese mithilfe formaler Methoden2011



Following the links Team and Alumni you can observe a list of active co-workers and finished Ph.D. students.



Deutsch








Sitemap Kontakt

ISMVL2014 DUHDE