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
Bearbeitet von:
[url=htttp://www.rs.e-technik.tu-darmstadt.de/Lehre.5.0.html]www.rs.e-technik.tu-darmstadt.de/Lehre.5.0.html[/url]
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
Bearbeitet von:
[url=htttp://www.rs.e-technik.tu-darmstadt.de/Lehre.5.0.html]www.rs.e-technik.tu-darmstadt.de/Lehre.5.0.html[/url]
- Lehrende: Hans Eveking
Semester: WiSe 2019/20