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
Verschiedene Bachelor- und Masterarbeiten wurden am Institut betreut. Hier einige ausgewählte Beispiele:
Bachelorarbeit “Static Polymorphism in Spade using Traits” von Fabian Bleck, Alexander Pichler und Rene Wimmer (August 2024).
Bachelorarbeit “First SERV: Towards Device Localization using BLE” von Paul Blume (Mai 2024).
Bachelorarbeit “From Model to Metal – The SUBLEQ microcoded microprocessor Goldcrest on the ICEStick1k” von Felix Roithmayr (Dezember 2023).
Bachelorarbeit “Enhancing a Virtual Prototype with RISC-V Vectoring Extension: Implementation and Verification” von Moritz Stockinger (September 2023). Auf Basis dieser Arbeit wurde das Papier A RISC-V “V” VP: Unlocking Vector Processing for Evaluation at the System Level zur Veröffentlichung auf der Design, Automation and Test in Europe (DATE 2024) angenommen.
Bachelorarbeit “Circuit-Based RISC-V Instruction Visualiser” von Sebastian Windsperger (September 2023).
Bachelorarbeit “RVVRadar - A Framework for Supporting the Programmer in Vectorization for RISC-V” von Manfred Schlägl (Mai 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 (Februar 2022).
Masterarbeit “GUI-VP Kit: A RISC-V VP Meets Linux Graphics – Enabling Interactive Graphical Application Development” von Manfred Schlägl (Juli 2023). Zu dieser Arbeit haben wir das Papier GUI-VP Kit: A RISC-V VP meets Linux graphics - enabling interactive graphical application development auf dem ACM Great Lakes Symposium on VLSI (GLSVLSI 2023) veröffentlicht. GUI-VP Kit ist verfügbar unter: ICS GitHub GUI-VP Kit.
Masterarbeit “Verifying an Embedded Graphics Library leveraging a RISC-V Virtual Prototype & Metamorphic Testing” von Florian Stögmüller (Mai 2023). Zu dieser Arbeit wurde das Papier Verifying embedded graphics libraries leveraging virtual prototypes and metamorphic testing zur Veröffentlichung auf der Asia and South Pacific Design Automation Conference (ASP-DAC 2024) angenommen. Darüber hinaus erhielt Florian Stögmüller den dritten Platz des Adolf-Adam-Preises als Anerkennung für seine herausragende Masterarbeit. Die Preisträger wurden von Oberstufenschülern aus ganz Oberösterreich gewählt.
Masterarbeit “A Formally Verified Reduction of the RV32I ISA” von Sonja Gurtner (Dezember 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.
Interesse an einer Abschlussarbeit am ICS? Email an Daniel Große.