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


2012
NameTopicAbschluss
Bastian  BlachettaSystemC-Synthese aus SysML-ModellenMaster
Pavel DimitrovAutonomous Track Control Systems for TrainsDiplom
Vladimir HerdtNachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer SimulationBachelor
Christoph HilkenVerifikation dynamischer Aspekte in SysML ModellenMaster
Sebastian HuhnEntwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines MikrocontrollersBachelor
Eugen KuksaGenerierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen BeschreibungenBachelor
Christian OtterstedtOptimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli GatternMaster
Eleonora SchönbornOptimierung der Synthese von reversiblen Schaltkreisen mit HardwarebeschreibungssprachenDiplom
Wanja SchöpferModellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem IntensivbeatmungsgerätMaster
Julia  SeiterProperty Checking of Quantum CircuitsDiplom
Clemens  WertherEine Multiprozessorarchitektur mit Kommunikation über NachrichtenaustauschBachelor
Fereshta YazdaniEinbettung reversibler Logik in SystemCDiplom



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