18-ev-2020-vl Verification Technology

Course offering details

Instructors: Prof. Dr. Hans Eveking

Event type: Lecture

Org-unit: Dept. 18 - Electrical Engineering and Information Technology

Displayed in timetable as: Verification Techn.

Subject:

Crediting for:

Hours per week: 3

Language of instruction: Englisch

Min. | Max. participants: - | -

Course Contents:
Decision diagrams, Satisfiability checking, Symbolic state-space traversal, Reachability analysis, Semantics of temporal logics (CTL, LTL), Symbolic and bounded model-checking, Property specification languages (PSL, ITL)

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

Preconditions:
Basic knowledge of digital circuits

Literature
Appointments
Date From To Room Instructors
1 Tue, 20. Oct. 2015 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
2 Tue, 27. Oct. 2015 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
3 Tue, 3. Nov. 2015 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
4 Tue, 10. Nov. 2015 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
5 Tue, 17. Nov. 2015 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
6 Tue, 24. Nov. 2015 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
7 Tue, 1. Dec. 2015 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
8 Tue, 8. Dec. 2015 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
9 Tue, 15. Dec. 2015 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
10 Tue, 12. Jan. 2016 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
11 Tue, 19. Jan. 2016 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
12 Tue, 26. Jan. 2016 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
13 Tue, 2. Feb. 2016 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
14 Tue, 9. Feb. 2016 11:40 13:20 S306/238 Prof. Dr. Hans Eveking
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  •  
Instructors
Prof. Dr. Hans Eveking