INF.01121.04 - Test und Verifikation digitaler Schaltungen (Vollständige Modulbeschreibung)

Menü

MLU

INF.01121.04	5 CP
Modulbezeichnung	Test und Verifikation digitaler Schaltungen
Modulcode	INF.01121.04
Semester der erstmaligen Durchführung
Fachbereich/Institut	Institut für Informatik
Verwendet in Studiengängen / Semestern	Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Primärmodule Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Sekundärmodule Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Sekundärmodule Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Basismodule der Vertiefungsrichtung `Technische Informatik und IT-Sicherheit` Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung gültig ab WS 2020/21 > 2.2 Informatik Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung (SS 2016 - SS 2020) > II. Wahlbereich Informatik
Modulverantwortliche/r
Weitere verantwortliche Personen	Prof. Dr. Paul Molitor
Teilnahmevoraussetzungen
Kompetenzziele	Studierende sollen durch dieses Modul folgende Kompetenzen erwerben: Sie wissen um die Bedeutung der formalen Verifikation von Hardware. Sie kennen die grundlegenden Ansätze zur Modellüberprüfung, mit der eine Hardwarespezifikation auf vorgegebene Eigenschaften geprüft wird, und zur formalen Überprüfung, ob zwei Hardwarebeschreibungen funktional äquivalent sind, und können diese anwenden. Sie wissen um die Bedeutung des Tests auf Fabrikationsfehler. Sie kennen die üblichen in der Industrie verwendeten Fehlermodelle und die Ansätze zur Testmustergenerierung und können diese anwenden. Sie verstehen die prinzipielle Vorgehensweise von SAT-Solvern und können diese erklären und anwenden. Sie können die grundlegenden Analyseoperationen auf impliziten Darstellungen (binäre Entscheidungsgraphen) zur Repräsentation von Booleschen Funktionen mit vielen Eingängen ausführen.
Modulinhalte	Testen von Schaltungen: Fehlermodelle, Random Testing, Automatische Testmustergenerierung, Fehlersimulation Formale Verifikation: Model Checking und Symbolic Model Checking Formale Verifikation: Äquivalenzvergleich kombinatorischer Schaltungen Formale Verifikation: SAT-Solving
Lehrveranstaltungsformen	Vorlesung (3 SWS) Kursus Übung (1 SWS) Kursus
Unterrichtsprachen	Deutsch, Englisch
Dauer in Semestern	1 Semester Semester
Angebotsrhythmus Modul	jedes Wintersemester
Aufnahmekapazität Modul	unbegrenzt
Prüfungsebene
Credit-Points	5 CP
Modulabschlussnote	LV 1: %; LV 2: %; LV 3: %; LV 4: %.
Faktor der Modulnote für die Endnote des Studiengangs	1
Hinweise	Primärmodul für Vertiefungsrichtungen: Technische Informatik, Sekundärmodul für Vertiefungsrichtungen: Algorithmen und Datenstrukturen, Steuerung technischer Systeme

Modulveranstaltung	Lehrveranstaltungsform	Veranstaltungstitel	SWS	Workload selbstgestaltete Arbeit	Workload Summe
LV 1	Vorlesung	Vorlesung	3		0
LV 2	Kursus	Selbststudium und Prüfungsvorbereitung			0
LV 3	Übung	Übung	1		0
LV 4	Kursus	Bearbeiten der Übungsaufgaben			0
Workload modulbezogen				150	150
Workload Modul insgesamt					150

Prüfung	Prüfungsvorleistung	Prüfungsform
LV 1
LV 2
LV 3
LV 4
Gesamtmodul	Übernahme eines Seminarvortrags, Elektronisch publizierbare Ausarbeitung des Seminarvortrags	mündliche Prüfung
Wiederholungsprüfung

Regularien	Angebotsrhythmus	Anwesenheitspflicht	Gewicht an Modulnote in %
LV 1	Wintersemester	Nein	%
LV 2	Wintersemester	Nein	%
LV 3	Wintersemester	Nein	%
LV 4	Wintersemester	Nein	%