Embedded Systems

Optimierung von Algorithmen zur automatischen Timing-Modell-Generierung von superskalaren Prozessoren

Bachelor’s Thesis / Master’s Thesis

Um präzise Messungen auf eingebetteten Systemen zu ermöglichen, können Compiler-Frameworks wie GCC oder LLVM verwendet werden, um spezielle Objektdateien zu erzeugen, was durch eine gewöhnliche Kompilierung einer Quelldatei nicht möglich wäre. Ein Problem hierbei ist die korrekte Zuweisung von Registerwerten. Die aktuelle Lösung dieses Problems basiert auf SAT-Solving bzw. Constraint Satisfaction.

Im Rahmen dieser Arbeit soll die Laufzeit zu Objektdateiengenerierung optimiert werden, indem die aktuell naive Lösung des Problems durch eine optimierte Variante, wenn möglich durch die Einbindung von externen Solving Frameworks, ersetzt wird.

Contact

Bringmann, Oliver

Boekle, Yannick