|
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:
| Name | Topic |
| Vladimir Herdt | Nachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer Simulation |
| Sebastian Huhn | Entwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines Mikrocontrollers |
| Eugen Kuksa | Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen |
| Clemens Werther | Eine Multiprozessorarchitektur mit Kommunikation über Nachrichtenaustausch |
|
|
|
