18-ev-2020-vl Verification Technology

Veranstaltungsdetails

Lehrende: Prof. Dr. Hans Eveking

Veranstaltungsart: Vorlesung

Orga-Einheit: FB18 Elektrotechnik und Informationstechnik

Anzeige im Stundenplan: VL Verification Tech

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Entscheidungsdiagramme, Erfüllbarkeitsprüfer, Symbolische Zustandstraversierung, Erreichbarkeitsanalyse, Temporale Logiken (CTL, LTL), Eigenschaftsprüfung (Symbolisches und Bounded Model-Checking), Eigenschaftsbeschreibungssprachen (PSL, ITL)

Literatur:
Th. Kropf: Introduction to formal hardware verification.
W.K. Lam: Hardware design verification.

Voraussetzungen:
Grundkenntnisse in Digitaltechnik

Online-Angebote:
moodle
 

Literatur
Termine
Datum Von Bis Raum Lehrende
1 Di, 22. Okt. 2019 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
2 Fr, 25. Okt. 2019 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
3 Di, 29. Okt. 2019 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
4 Fr, 1. Nov. 2019 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
5 Di, 5. Nov. 2019 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
6 Fr, 8. Nov. 2019 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
7 Di, 12. Nov. 2019 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
8 Fr, 15. Nov. 2019 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
9 Di, 19. Nov. 2019 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
10 Fr, 22. Nov. 2019 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
11 Di, 26. Nov. 2019 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
12 Fr, 29. Nov. 2019 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
13 Di, 3. Dez. 2019 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
14 Fr, 6. Dez. 2019 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
15 Di, 10. Dez. 2019 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
16 Fr, 13. Dez. 2019 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
17 Di, 17. Dez. 2019 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
18 Fr, 20. Dez. 2019 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
19 Di, 14. Jan. 2020 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
20 Fr, 17. Jan. 2020 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
21 Di, 21. Jan. 2020 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
22 Fr, 24. Jan. 2020 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
23 Di, 28. Jan. 2020 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
24 Fr, 31. Jan. 2020 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
25 Di, 4. Feb. 2020 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
26 Fr, 7. Feb. 2020 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
27 Di, 11. Feb. 2020 11:40 13:20 S306/516 Prof. Dr. Hans Eveking
28 Fr, 14. Feb. 2020 11:40 12:25 S320/4 Prof. Dr. Hans Eveking
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  •  
  •  
Lehrende
Prof. Dr. Hans Eveking