Student : Netlist Carpentry: Automatisierte SDF-Annotation für digitale Schaltungen

• Analyse bestehender SDF-Parsing-Bibliotheken
• Anbindung einer SDF-Bibliothek an Netlist Carpentry oder Implementierung eines SDF-Parsers
• Entwurf und schrittweise Implementierung eines Prozesses, der gegebene SDF-Werte an Gatter annotiert
• Dokumentation, Test und Evaluation des entwickelten Annotationsprozesses

• Fortgeschrittene Python-Kenntnisse
• Grundlegende Kenntnisse von Digitalschaltungen
• Grundlegende Kenntnisse im Umgang mit Git
• Hilfreich, aber nicht zwingend erforderlich: grundsätzliche Kenntnisse über Netlist Carpentry

Während deines Studiums kannst du dich bei uns in laufende Forschungsprojekte einbringen. Geh mit uns an Grenzen des technisch Machbaren und sei dabei, wenn wir gemeinsam Neuland betreten. Wir bieten vielfältige herausfordernde und praxisorientierte Themen für Pflichtpraktika, Bachelor- bzw. Master-Arbeiten oder studentische Assistenztätigkeiten an. Du analysierst wichtige wissenschaftliche Vorlauffragestellungen und stehst den Projektteams mit unterstützenden Entwicklungstätigkeiten zur Seite., * einen attraktiven Arbeitsplatz in einem modernen sehr gut ausgestatteten und industrienah agierenden Forschungsinstitut

• Arbeit direkt an der Schnittstelle zwischen Universität und Industrie
• Mitarbeit in einem flexiblen und kreativen Team und an innovativen herausfordernden Themen

Die Optimierung digitaler Schaltungen hinsichtlich Fläche und Performanz ist ein zentraler Prozess der Hardwareentwicklung. Am IMMS wurde hierfür das Open-Source Python-Framework "Netlist Carpentry" entwickelt und eingesetzt, das Netzlisten automatisiert analysiert und modifiziert, um bspw. Platz zu sparen. Bei jeglichen Umformungen ist es jedoch notwendig, dass Timing-Vorgaben eingehalten werden. Die Timing-Informationen (also wie groß die Verzögerungen einzelner Gatter sind) sind üblicherweise im Standard-Delay-Format (SDF) hinterlegt. Um es Netlist Carpentry zu ermöglichen, die Einhaltung von Timing-Vorgaben selbst prüfen zu können, sollen die SDF-Daten eingelesen und an die entsprechenden Gatter annotiert werden. Dafür ist ein SDF-Parser nötig. In dieser Abschlussarbeit müssen also bestehende SDF-Parsing-Bibliotheken analysiert und gegebenenfalls ein eigener Parser implementiert werden. Die eingelesenen Delay-Werte müssen dann an die jeweiligen Gatter annotiert werden, sodass später das Gesamtdelay ermittelt werden kann. Der ganze Prozess muss sowohl dokumentiert als auch mittels Tests verifiziert werden.