Thesis zum Thema formale Verifikation von RISC-V Prozessoren mit Sail

Stelle frei: Ab sofort

Beschreibung

— Gestalte die Zukunft mit uns
als Student*in (Abschlussarbeit Bachelor / Master) zum Thema formale Verifikation von RISC-V Prozessoren mit Sail
Stundenbasis | Befristet | Karlsruhe | ab sofort

Das erwartet Dich bei uns
Wir, die Abteilung Systementwurf in der Mikroelektronik (SIM) forschen an Architekturen und Entwurfsmethoden für softwareintensive, zuverlässige Systeme im Embedded-Bereich sowie an der Anwendung und Implementierung von künstlicher Intelligenz. Beim Entwurf eingebetteter Systeme spielt die moderne Befehlssatzarchitektur RISC-V eine immer größere Rolle. Die Quelloffenheit und Parametrisierbarkeit vieler RISC-V Hardware/Software-Implementierungen (Open Source) erfordert neue Verifikationsansätze, um Systeme sicherer zu machen.

- Du lernst die RISC-V Befehlssatzarchitektur kennen.
- Du recherchierst zu den Themen RISC-V Prozessverifikation mittels Bounded-Model-Checking und ISA Formalisierung mit Sail.
- Du erarbeitest ein Konzept und implementierst eine Verifikationsumgebung für Äquivalenzbeweise von RISC-V Prozessorimplementierungen.
- Du evaluierst das Sail-Backend zur Generierung eines ISA-Referenzmodells in SystemVerilog.
- Du verifizierst die Äquivalenzeigenschaften des Referenzmodells gegenüber der konkreten Prozessorimplementierung mit einem kommerziellen Checker (Cadence JasperGold) und evaluierst die Ergebnisse.

Das bringst Du mit
- Du studierst Informatik, Elektrotechnik oder einen verwandten Studiengang.
- Du interessierst Dich für den Themenbereich Embedded Systems und Prozessorarchitekturen, insbesondere RISC-V.
- Du kennst Dich idealerweise mit Programmiersprachen wie Scala, Tcl und SystemVerilog aus.
- Du hast Grundkenntnisse im Hardwareentwurf von digitalen Systemen.
- Du bringst Grundkenntnisse in formalen Methoden mit.
- Du besitzt ein überdurchschnittliches Maß an Eigeninitiative sowie eine sorgfältige, gewissenhafte Arbeitsweise.
- Du besitzt gute Deutsch- oder Englischkenntnisse.

Was wir Dir bieten
Was das Arbeiten am FZI auszeichnet und was wir Dir bieten, kannst Du unserer Stellenanzeige entnehmen: jobs.fzi.de/1112.