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 2009
Jan CarstensTestmustergenerierung durch Kombination Boolescher Beweiser
Jannes Dinse System-on-Chip Entwurf eines RISC mit einem FPGA
Alexander FinderHeuristische Verfahren zur Logiksynthese für Pseudo Kronecker Ausdrücke
Manuel FriebusVisualisierung von SystemC auf Systemebene
Finn HaedickeConstraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-Beweisern
Hoang M. LeFormal Verification of abstract SystemC designs via Bounded Model Checking
Olaf von der AheFormale Verifikation von sequentiellen Schaltkreisen mittels QBF-Beweisern
Hongyan ZhangModellierung, Validation und Verifikation der SIMATIC S5 CPU


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