Verifikation digitaler Systeme (Prüfungsordnungsmodul)5 ECTS
(englische Bezeichnung: Verifikation digitaler Systeme)

Die Beschreibung eines Prüfungsordnungsmoduls enthält allgemeine Angaben zur Verwendbarkeit und zu den Rahmenbedingungen für Prüfungen, so wie sie in den Prüfungsordnungen festgelegt sind. Zusätzlich kann eine allgemeine Modulbeschreibung, die übergreifend für alle konkreten (UnivIS-)Module gilt, enthalten sein. Die konkreten Modulbeschreibungen mit Angaben zu den Lehrveranstaltungen und Prüfungsdetails sind unter den zugeordneten UnivIS-Modulen zu finden.

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. 123#67#H
   (Po-Vers. 2008 | TechFak | Computational Engineering (Master of Science with Honours) | Gesamtkonto | Wahlpflichtbereich Informatik | Verifikation digitaler Systeme)
2. Artificial Intelligence (Master of Science)
   (Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Verifikation digitaler Systeme)
3. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2007 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | alte Prüfungsordnungen | Gesamtkonto | Technische Wahlmodule | Verifikation digitaler Systeme)
4. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2009 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | alte Prüfungsordnungen | Gesamtkonto | Technische Wahlmodule | Verifikation digitaler Systeme)
5. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2010 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | Gesamtkonto | Technische Wahlmodule | Verifikation digitaler Systeme)
6. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
   (Po-Vers. 2008 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Gesamtkonto | Wahlpflichtbereich Informatik | Verifikation digitaler Systeme)
7. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Hardware-Software-Co-Design | Verifikation digitaler Systeme)
8. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
9. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
10. Informatik (Bachelor of Science)
    (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
11. Informatik (Bachelor of Science)
    (Po-Vers. 2022w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (Wahlpflichtmodule aus mind. 2 Vertiefungsrichtungen) | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
12. Informatik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der systemorientierten Vertiefungsrichtungen | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
13. Information and Communication Technology (Master of Science)
    (Po-Vers. 2019s | TechFak | Information and Communication Technology (Master of Science) | Gesamtkonto | Wahlmodule | Wahlmodule aus dem Angebot von EEI und Informatik | Verifikation digitaler Systeme)
14. Informations- und Kommunikationstechnik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Gesamtkonto | Wahlbereiche, Praktika, Seminar, Masterarbeit | Wahlmodule aus dem Angebot von EEI und Informatik | Verifikation digitaler Systeme)
15. Informations- und Kommunikationstechnik (Master of Science)
    (Po-Vers. 2016s | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Gesamtkonto | Wahlbereiche, Praktika, Seminar, Masterarbeit | Wahlmodule aus dem Angebot von EEI und Informatik | Verifikation digitaler Systeme)
16. Mathematik (Bachelor of Science)
    (Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
17. Mathematik (Bachelor of Science)
    (Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)

Studien-/Prüfungsleistungen:

Verifikation digitaler Systeme (Prüfungsnummer: 22801)
(englische Bezeichnung: Digital systems verification)

Prüfungsleistung, mündliche Prüfung, Drittelnoten (mit 4,3), 5 Leistungspunkte

Anteil an der Berechnung der Modulnote: 100.0 %

UnivIS-Module:

UnivIS-Module im aktuellen Semester (WS 2022/2023):

• Verifikation digitaler Systeme (5 ECTS, Keszöcze, O.)

UnivIS-Module im vergangenen Semester (SS 2022):

• Verifikation digitaler Systeme (5 ECTS, Keszöcze, O.)