English
E346 – Test und Verifikation
Test and Verification
Version: 1
Prof. Dr.-Ing. Jens Schönherr
jens.schoenherr(at)htw-dresden.de
Prof. Dr.-Ing. Jens Schönherr
jens.schoenherr(at)htw-dresden.de
Deutsch
5.00 Credits
150 Stunden
4.00 SWS (2.00 SWS Vorlesung | 1.00 SWS Übung | 1.00 SWS Praktikum)
90.00 Stunden
15.00 Stunden (Selbststudium)
30.00 Stunden (Vorbereitung Lehrveranstaltung)
45.00 Stunden (Bearbeitungszeit Prüfungsleistung)
Alternative Prüfungsleistung - Laborpraktikum
Wichtung: 0 % | nicht benotet
Alternative Prüfungsleistung - Computerprojekt
Wichtung: 100 %
Vorlesung ergänzt durch Übung und Praktikum
- Entwurfsprinzipien, Entwurfsdomänen und Abstraktionsebenen für Digitalschaltungen
- Entwurfsablauf für integrierte Digitalschaltungen
- Verifikationsverfahren (Simulation, formale Verifikation)
- Algorithmen zur Schaltungssimulation
- gerichtete Simulation und Simulation mit eingeschränkten Zufallszahlen (constrained random pattern)
- Aufbau von selbstprüfenden Testbenches (VHDL, UVM)
- Softwaretest
- formale Verifikation (Equivalence Checking)
- Prinzipien des Tests von Digitalschaltungen
- Verifikationspraktikum
- Verifikationsprojekt
Kenntnisse:
- Funktionsweise und Einordnung verschiedener Verifikationsverfahren
Fertigkeiten:
- Verifikation einer digitalen Schaltung und von Software-Modulen
- Erstellung der Verifikationsumgebung (z. B. Testbenches)
- Werkzeugnutzung zur Verifikationsauswertung
Teamfähigkeit (Bearbeitung der Praktika in Gruppen zu 2 Studierenden)
Digitale Schaltungen
Informatik 1+2
Kesel/Bartholomä: Entwurf von digitalen Schaltungen und Systemen mit HDLs und FPGAs: Einführung mit VHDL und SystemC
Göran/Müller: ASIC - Entwurf und Test
Piziali: Functional Verification Coverage Measurement and Analysis
Bergeron: Writing Testbenches using SystemVerilog
Großpietsch/Vierhaus: Entwurf hochintegrierter Schaltungen
Jansen (Hg): Handbuch der Electronic Design Automation
Foliensatz und Praktikumsanleitungen zum Download