Teaching

Bachelor and Master Thesis

Topics

Wir bieten ein breites Spektrum an Themen für Bachelor- und Masterarbeiten an. Das genaue Thema erarbeiten wir dabei stets gemeinsam in einem Gespräch. Themengebiete umfassen beispielsweise

  • Open-source Hardware/Software Entwicklungswerkzeuge,
  • Entwurf von Systemen/Prozessoren (z.B. RISC-V basiert),
  • Virtual Prototyping/SystemC,
  • formale Verifikation,
  • fuzzing,
  • Symbolic Computer Algebra
  • und vieles mehr.

Selected Theses

Verschiedene Bachelor- und Masterarbeiten wurden am Institut betreut. Hier einige ausgewählte Beispiele:

  • Masterarbeit “Verifying an Embedded Graphics Library leveraging a RISC-V Virtual Prototype & Metamorphic Testing” von Florian Stögmüller (May 2023).

  • Masterarbeit “A Formally Verified Reduction of the RV32I ISA” von Sonja Gurtner (Dec 2022). Basierend auf der entwickelten Formalisierung in Rosette haben wir das Papier Formal verification of SUBLEQ microcode implementing the RV32I ISA auf dem Forum on specification & Design Languages (FDL 2022) veröffentlicht. Das Papier wurde mit dem Best Paper Award ausgezeichnet.

  • Bachelorarbeit “RVVRadar - A Framework for Supporting the Programmer in Vectorization for RISC-V” von Manfred Schlägl (May 2022). Zu dieser Arbeit haben wir das Papier RVVRadar: a framework for supporting the programmer in vectorization for RISC-V auf dem ACM Great Lakes Symposium on VLSI (GLSVLSI 2022) veröffentlicht. Die Implementierung ist verfügbar unter: ICS GitHub.

  • Bachelorarbeit “KHDL - A Typesafe HDL in Kotlin” von Gabriel Guldner (Feb 2022).

Interesse an einer Abschlussarbeit am ICS? Email an Daniel Große.