INF.01121.04 - Test und Verifikation digitaler Schaltungen (Complete module description)

MLU

INF.01121.04	5 CP
Module label	Test und Verifikation digitaler Schaltungen
Module code	INF.01121.04
Semester of first implementation
Faculty/Institute	Institut für Informatik
Module used in courses of study / semesters	Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation (WS 2006/07 - SS 2013) > Primärmodule Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation (WS 2006/07 - SS 2013) > Sekundärmodule Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation (WS 2006/07 - SS 2013) > Sekundärmodule Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation (WS 2016/17 - WS 2022/23) > Basismodule der Vertiefungsrichtung `Technische Informatik und IT-Sicherheit` Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Version of accreditation (SS 2016 - SS 2020) > II. Wahlbereich Informatik Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Version of accreditation valid from WS 2020/21 > 2.2 Informatik
Responsible person for this module
Further responsible persons	Prof. Dr. Paul Molitor
Prerequisites
Skills to be acquired in this module	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.
Module contents	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
Forms of instruction	Lecture (3 SWS) Course Exercises (1 SWS) Course
Languages of instruction	German, English
Duration (semesters)	1 Semester Semester
Module frequency	jedes Wintersemester
Module capacity	unlimited
Time of examination
Credit points	5 CP
Share on module final degree	Course 1: %; Course 2: %; Course 3: %; Course 4: %.
Share of module grade on the course of study's final grade	1
Reference text	Primärmodul für Vertiefungsrichtungen: Technische Informatik, Sekundärmodul für Vertiefungsrichtungen: Algorithmen und Datenstrukturen, Steuerung technischer Systeme

Module course label	Course type	Course title	SWS	Workload of independent learning	Sum workload
Course 1	Lecture	Vorlesung	3		0
Course 2	Course	Selbststudium und Prüfungsvorbereitung			0
Course 3	Exercises	Übung	1		0
Course 4	Course	Bearbeiten der Übungsaufgaben			0
Workload by module				150	150
Total module workload					150

Examination	Exam prerequisites	Type of examination
Course 1
Course 2
Course 3
Course 4
Final exam of module	Übernahme eines Seminarvortrags, Elektronisch publizierbare Ausarbeitung des Seminarvortrags	mündliche Prüfung
Exam repetition information

Prerequisites and conditions	Frequency	Compulsory attendance	Share on module grade in percent
Course 1	Winter semester	No	%
Course 2	Winter semester	No	%
Course 3	Winter semester	No	%
Course 4	Winter semester	No	%