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


2022
NameTopicAbschluss
Christian Friedrich Coors Verification of Programs Generated from HDL for the Programmable Logic-In-Memory (PLiM) ArchitectureMaster
Pal Singh DavinderVergleich zwischen ausgewählten prä- und post-quantum VerschlüsselungsalgorithmenBachelor
Jan KleinekathöferFormal Verification of Floating Point Adders in Polynomial TimeMaster
Rune KraussSpeichereffizienter Aufbau von binären Entscheidungsdiagrammen für Logiksynthese und Verifikation durch Ausnutzung von Ordnungseigenschaften Master
Mathis LogemannDesign, Implementierung und Cross-level Verifikation eines SpinalHDL-basierten RISC-V Interrupt ControllersMaster
Jonas LohmannFrom Cells to Silicon: Design and Implementation of a Neuromorphic Processor Empowered with Reinforcement LearningBachelor
Arbnor MiftariOptische Fehleranalyse von autonomen Robotern durch holografische ProjektionenBachelor
Karl Aaron RudkowskiInteractive Modelling Platform for Projects with Embedded DevicesBachelor
Lennart Ove WeingartenFormaler Nachweis von Schaltkreisen auf Polynomiale VerifizierbarkeitMaster
Jan ZielaskoVisualization of Symbolic Execution 3D Visualization of Symbolic Program Execution-Traces Generated by Instrumentation of a RISC-V Virtual PrototypeMaster



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