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

Ihre Aufgaben

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., The contact form is intended for your questions to the company. Please do not use it to submit your application. Information on the respective application process can be found in the advertisement. First name * Last name * E-Mail * Kopie an meine E-Mail Adresse schicken

Ihr Profil

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.

Wir bieten Ihnen

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

Job type/category

• Working student

  Field of study preferred

• Engineering sciences Electrical engineering & information technologies Informatics

  Favored career stage

• Student

  Location/region

• Karlsruhe city, Karlsruhe region

  Sector

• Research

  Industry branch

• Science & research

• IT & Internet

• Non-profit organizations

  Language at workplace

• German

  Type of company

• Scientific institution

Kontakt

Fachliche Fragen zur Stelle beantwortet Dir gerne Anton Paule, Telefon: +49 721 9654-422. Company address

FZI FORSCHUNGSZENTRUM INFORMATIK Haid-und-Neu-Straße 10-14 76131 Karlsruhe Germany Telefon: +49 721 9654-0 www.fzi.de Zurück zur Anzeigenübersicht