HOME | CONTACT | Switch DE

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen

Master Thesis


Dear interested parties,

ChipIn our working group, it has proven successfully that interesting topics for Bachelor's and Master's theses are worked out in a personal dialogue. Thus, we do not offer a fixed list of predefined topics.

Please do not hesitate to contact us personally, by phone or email to arrange an appointment to discuss a potential topic.

Possible thesis topics include:
  • Design methodology for quantum computers
  • Formal verification of processors
  • Approximate computing in arithmetic circuits
  • Test pattern generation for integrated circuits
  • Application of neural networks in circuit design
  • ...
To get an idea of the broad spectrum of the topics, the already completed theses are listed below:

Diplom 2006
NameTopic
Stephan EggersglüßTestmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems

Ausgezeichnet als beste Abschlussarbeit des Jahrgangs
Christian GenzAnalyse und Visualisierung von SystemC-Spezifikationen
Marcin GrdenÜberdeckungsmaße in der formalen Hardware Verifikation
Michael KlemmTestmusterkompaktierung mit Genetischen Algorithmen
Ulrich KühneModellierung und Verifikation eines RISC Prozessors

Ausgezeichnet mit dem Bremer Studienpreis 2006
André SteinkampHeuristik Lernen auf der Basis Genetischer Programmierung für das Graphenfärbeproblem
Andre SülflowÜber die Anwendung der Mehrzieloptimierung in der Erstellung von Dienstplänen im Krankenhaus
Tim WarodeStrukturelles Lernen in der erfüllbarkeits-basierten Testmustergenerierung
Robert WilleErstellung von Free Binary Decision Diagrams mit SAT-Beweisern


hide


©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy