Chair of Computer Science 12 (Hardware-Software-Co-Design)
Berechenbarkeit und Formale Sprachen [BFS] -
- Lecturer:
- Rolf Wanka
- Details:
- Vorlesung, 4 cred.h, ECTS: 5
- Dates:
- Thu, 14:15 - 15:45, H8
Fri, 10:15 - 11:45, H8
- Fields of study:
- PF INF-BA 3
WPF DS-BA ab 3
|
Cyber-Physical Systems [CPS] -
- Lecturer:
- Torsten Klie
- Details:
- Vorlesung, 2 cred.h, ECTS: 2,5
- Dates:
- Mon, 12:15 - 13:45, 0.151-115
- Fields of study:
- WPF MT-MA-BDV ab 1
WF IuK-BA ab 2
WPF INF-BA-V-HSCD ab 2
WPF INF-MA ab 1
WF ICT-MA ab 1
WPF ME-BA-MG6 3-6
WPF ME-MA-MG6 1-3
WPF MT-BA-BV ab 5
WF CE-BA-TW ab 5
|
Übung zu Cyber-Physical Systems [UE-CPS] -
- Lecturer:
- Torsten Klie
- Details:
- Übung, ECTS: 2,5
- Dates:
- Thu, 08:15 - 09:45, 00.151-113
- Fields of study:
- WPF MT-MA-BDV ab 1
WPF INF-BA-V-HSCD ab 2
WPF INF-MA ab 1
WF IuK-BA ab 2
WF ICT-MA ab 1
WPF ME-BA-MG6 3-6
WPF ME-MA-MG6 1-3
WPF MT-BA-BV ab 5
WF CE-BA-TW ab 5
|
Effiziente kombinatorische Algorithmen [EffAlg] -
- Lecturer:
- Rolf Wanka
- Details:
- Vorlesung, 2 cred.h, ECTS: 5
- Dates:
- Tue, 10:15 - 11:45, 00.151-113
- Fields of study:
- WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1
|
Eingebettete Systeme [ES] -
- Lecturer:
- Frank Hannig
- Details:
- Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium, auch für Computational Engineering
- Dates:
- Wed, 10:15 - 11:45, H5
Anmeldung via StudOn: https://www.studon.fau.de/crs4027166.html
- Fields of study:
- WPF MT-BA-BV ab 5
WPF MT-MA-BDV ab 1
WPF CE-MA-TA-RT ab 3
WF CE-BA-TW ab 5
WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
WPF IuK-BA ab 5
PF IuK-MA-ES-INF 1-2
WPF IuK-MA-REA-INF ab 1
PF ICT-MA-ES 1-4
PF ME-BA 5
WPF ASC-MA 1-4
|
Erweiterte Übungen zu Eingebettete Systeme [EU-ES] -
- Lecturers:
- Peter Brand, Dominik Walter
- Details:
- Übung, 2 cred.h, ECTS: 2,5
- Fields of study:
- WPF CE-MA-TA-RT ab 3
WF CE-BA-TW ab 5
WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
PF IuK-MA-ES-INF 1-2
WPF IuK-MA-REA-INF ab 1
WPF MT-BA-BV ab 5
WPF MT-MA-BDV ab 1
| | single appointment on 16.12.2021, single appointment on 20.1.2022, single appointment on 27.1.2022 | 14:00 - 18:00 | 02.133-128 | |
Brand, P. Plagwitz, P. |
Kurs verpflichtend, vor Ort an den Rechnerarbeitsplätzen des Lehrstuhls |
| single appointment on 17.12.2021, single appointment on 21.1.2022, single appointment on 28.1.2022 | 9:00 - 13:00 | 02.133-128 | |
Walter, D. Esper, K. |
verpflichtend, vor Ort an den Rechnerarbeitsplätzen des Lehrstuhls |
Übung zu Eingebettete Systeme [UE-ES] -
- Lecturers:
- Peter Brand, Dominik Walter
- Details:
- Übung, 2 cred.h, ECTS: 2,5, nur Fachstudium, auch für Computational Engineering
- Fields of study:
- WPF MT-BA-BV ab 5
WPF IuK-BA ab 5
PF IuK-MA-ES-INF 1-2
WPF CE-MA-TA-RT ab 3
WF CE-BA-TW ab 5
WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
PF ME-BA 5
WPF IuK-MA-REA-INF ab 1
PF ICT-MA-ES 1-4
WPF MT-MA-BDV ab 1
WPF ASC-MA 1-4
| | Tue | 14:15 - 15:45 | 01.255-128 | |
Esper, K. |
| Wed | 16:15 - 17:45 | 01.150-128 | |
Brand, P. |
| Wed | 16:15 - 17:45 | Zoom-Meeting | |
Plagwitz, P. |
Online per Zoom (Link s. StudOn) |
| Fri | 16:15 - 17:45 | 0.111 | |
Walter, D. |
Ereignisgesteuerte Systeme [EGS] -
- Lecturer:
- Stefan Wildermann
- Details:
- Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium, Online; Auch für Computational Engineering, I&K und Medizintechnik
- Dates:
- Wed, 12:15 - 13:45, 02.224 Cauerstr.9
- Fields of study:
- WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
PF IuK-BA 3
WF CE-BA-TW ab 3
WPF MT-MA-BDV ab 1
|
Übung zu Ereignisgesteuerte Systeme [UE-EGS] -
- Lecturer:
- Stefan Wildermann
- Details:
- Übung, 2 cred.h, ECTS: 2,5, nur Fachstudium, Online; Auch für Computational Engineering, I&K und Medizintechnik
- Fields of study:
- WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
PF IuK-BA 3
WF CE-BA-TW ab 3
WPF MT-MA-BDV ab 1
| | Mon | 12:15 - 13:45 | 01.150-128, 02.133-128 | |
Wildermann, S. |
| Fri Fri | 10:15 - 11:45 10:15 - 11:45 | 01.255-128 02.133-128 | |
Wildermann, S. |
Grundlagen der Technischen Informatik [GTI] -
- Lecturers:
- Oliver Keszöcze, Stefan Wildermann
- Details:
- Vorlesung, 4 cred.h, certificate, ECTS: 5, für Anfänger geeignet, Frühstudium, Schein für praktische Übungen.
- Dates:
- Tue, 12:15 - 13:45, H11
Thu, 12:15 - 13:45, H7
- Fields of study:
- PF MT-BA-BV 5
PF INF-BA 1
PF INF-LAG-M ab 5
PF INF-LAG-P ab 5
PF INF-LAG-E ab 5
PF INF-LAG-W ab 5
PF I2F-BA 3
|
Praktische Übungen zu Grundlagen der Technischen Informatik [PR-GTI] -
- Lecturers:
- Marcel Brand, Jan Spieck, Christian Heidorn
- Details:
- Praktikum, für Anfänger geeignet, Frühstudium
- Fields of study:
- PF MT-BA-BV 5
PF INF-BA 1
PF INF-LAG-M ab 5
PF INF-LAG-P ab 5
PF INF-LAG-E ab 5
PF INF-LAG-W ab 5
PF I2F-BA 3
| | single appointment on 7.3.2022 single appointment on 14.3.2022 | 9:00 - 13:00 9:00 - 13:00 | 02.133-128, 02.151-128, 02.152-128 02.133-128, 02.151-128, 02.152-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| single appointment on 7.3.2022 single appointment on 14.3.2022 | 14:00 - 18:00 14:00 - 18:00 | 02.133-128, 02.151-128, 02.152-128 02.133-128, 02.151-128, 02.152-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| single appointment on 8.3.2022 single appointment on 15.3.2022 | 9:00 - 13:00 9:00 - 13:00 | 02.133-128, 02.151-128, 02.152-128 02.133-128, 02.151-128, 02.152-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| single appointment on 8.3.2022 single appointment on 15.3.2022 | 14:00 - 18:00 14:00 - 18:00 | 02.133-128, 02.151-128, 02.152-128 02.133-128, 02.151-128, 02.152-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| single appointment on 9.3.2022 single appointment on 16.3.2022 | 9:00 - 13:00 9:00 - 13:00 | 02.133-128, 02.151-128, 02.152-128 02.133-128, 02.151-128, 02.152-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| single appointment on 9.3.2022 single appointment on 16.3.2022 | 14:00 - 18:00 14:00 - 18:00 | 02.133-128, 02.151-128, 02.152-128 02.133-128, 02.151-128, 02.152-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| single appointment on 10.3.2022 single appointment on 17.3.2022 | 9:00 - 13:00 9:00 - 13:00 | 02.133-128, 02.151-128, 02.152-128 02.133-128, 02.151-128, 02.152-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| single appointment on 10.3.2022 single appointment on 17.3.2022 | 14:00 - 18:00 14:00 - 18:00 | 02.133-128, 02.151-128, 02.152-128 02.133-128, 02.151-128, 02.152-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| single appointment on 11.3.2022 single appointment on 18.3.2022 | 9:00 - 13:00 9:00 - 13:00 | 02.133-128, 02.151-128, 02.152-128 02.133-128, 02.151-128, 02.152-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| single appointment on 11.3.2022 single appointment on 18.3.2022 | 14:00 - 18:00 14:00 - 18:00 | 02.133-128, 02.151-128, 02.152-128 02.133-128, 02.151-128, 02.152-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
Übung zu Grundlagen der Technischen Informatik [UE-GTI] -
- Lecturers:
- Marcel Brand, Christian Heidorn, Jan Spieck
- Details:
- Übung, 2 cred.h, ECTS: 2,5, für Anfänger geeignet, Frühstudium, Zuteilung der Übungsleiter sind auf unserer Webpräsenz zu finden.
- Fields of study:
- PF MT-BA-BV 5
PF INF-BA 1
PF INF-LAG-M ab 5
PF INF-LAG-P ab 5
PF INF-LAG-E ab 5
PF INF-LAG-W ab 5
PF I2F-BA 3
| | Mon | 8:15 - 9:45 | Zoom-Meeting | |
N.N. |
| Tue | 14:15 - 15:45 | Zoom-Meeting | |
N.N. |
| Wed | 10:15 - 11:45 | 00.151-113 | |
N.N. |
| Wed | 10:15 - 11:45 | 02.224 Cauerstr.9 | |
N.N. |
| Wed | 12:15 - 13:45 | 0.154-115 | |
N.N. |
| Wed | 12:15 - 13:45 | 02.133-128 | |
N.N. |
| Wed | 12:15 - 13:45 | 00.152-113 | |
N.N. |
| Thu | 10:15 - 11:45 | 00.151-113 | |
N.N. |
| Thu | 10:15 - 11:45 | 01.150-128 | |
N.N. |
| Thu | 10:15 - 11:45 | 01.255-128 | |
N.N. |
| Thu | 16:15 - 17:45 | Zoom-Meeting | |
N.N. |
| Fri | 08:15 - 09:45 | 02.133-113 | |
N.N. |
| Fri | 12:15 - 13:45 | 00.151-113 | |
N.N. |
| Fri | 12:15 - 13:45 | 0.031-113 | |
N.N. |
Hardware-Software-Co-Design Seminar -
- Lecturers:
- Frank Hannig, Jürgen Teich
- Details:
- Kolloquium, 4 cred.h
- Dates:
- Fri, 12:00 - 18:00, 01.255-128
Wed, 10:00 - 12:00, 01.255-128
|
Praktikum: Entwicklung interaktiver eingebetteter Systeme [PR-EES] -
- Lecturer:
- Joachim Falk
- Details:
- Praktikum, 8 cred.h, ECTS: 10
- Dates:
- Mon, 14:00 - 18:00, 02.133-128
Thu, 9:30 - 13:30, 02.133-128
single appointment on 10.3.2022, 9:30 - 15:30, 02.112-128
Preliminary meeting: Monday, 18.10.2021, 14:00 - 14:30 Uhr, 02.133-128
- Fields of study:
- WPF INF-BA-PR ab 5
- Keywords:
- Praktikum
|
Reconfigurable Computing [RC] -
- Lecturer:
- Frank Hannig
- Details:
- Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium
- Dates:
- Thu, 16:15 - 17:45, 01.255-128
ab 9.12.2021 online via Zoom (s. StudOn)
- Fields of study:
- WPF CE-MA-TA-RT ab 3
WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
WPF IuK-MA-ES-INF ab 1
WPF IuK-MA-REA-INF ab 1
WPF ICT-MA-ES 1-4
WPF ME-BA-MG6 3-6
WPF ME-MA-MG6 1-3
WPF MT-MA-BDV ab 1
WPF ASC-MA ab 1
|
Exercises to Reconfigurable Computing [UE-RC] -
- Lecturer:
- Jorge A. Echavarria
- Details:
- Übung, 2 cred.h, ECTS: 2,5, nur Fachstudium
- Dates:
- Thu, 14:15 - 15:45, 02.134-113
- Fields of study:
- WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
WPF IuK-MA-ES-INF ab 1
WPF IuK-MA-REA-INF ab 1
WPF ICT-MA-ES 1-4
WPF ME-BA-MG6 3-6
WPF ME-MA-MG6 1-3
WPF MT-MA-BDV ab 1
WPF ASC-MA ab 1
|
Extended Exercises to Reconfigurable Computing [EU-RC] -
- Lecturer:
- Martin Letras
- Details:
- Übung, 2 cred.h, ECTS: 2,5, nur Fachstudium, mandatory, at the workstations residing in our lab at the chair
- Fields of study:
- WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
WPF IuK-MA-ES-INF ab 1
WPF IuK-MA-REA-INF ab 1
WPF ICT-MA-ES 1-4
WPF ME-BA-MG6 3-6
WPF ME-MA-MG6 1-3
| | Tue | 14:00 - 18:00 | 02.133-128 | |
Letras, M. |
mandatory, at the workstations residing in our lab at the chair |
| Fri | 14:00 - 18:00 | 02.133-128 | |
Letras, M. |
mandatory, at the workstations residing in our lab at the chair |
Seminar: Ausgewählte Kapitel aus "The Art of Computer Programming" [SEM-TACP] -
- Lecturer:
- Oliver Keszöcze
- Details:
- Seminar, 2 cred.h, ECTS: 5
- Dates:
- 8:00 - 18:00, 01.255-128
Preliminary meeting: Wednesday, 20.10.2021, 10:00 - 11:00 Uhr, 02.112-128
- Fields of study:
- WPF INF-MA ab 1
WPF INF-BA-SEM ab 4
- Contents:
- Donald E. Knuth ist vielen Studierenden der naturwissenschaftlichen und technischen Fächer hauptsächlich durch sein Textsatzsystem LaTeX bekannt.
Sein wissenschaftliches Hauptwerk ist jedoch das Buch "The Art of Computer Programming" (TAOCP).
Anders als der Titel suggeriert, handelt es sich bei dem Buch um kein Programmierhandbuch, sondern vielmehr um ein allumfassendes Kompendium von Algorithmen und Datenstrukturen.
Es wird zu Recht als "die Bibel aller fundamentalen Algorithmen" bezeichnet.
Insbesondere interessant ist, dass Knuth durch seine Herangehensweise bzw. Darstellung einer völlig neue Sichtweisen auf schon bekannte Probleme erlaubt.
Dieses Seminar widmet sich ausgesuchten Kapiteln aus TAOCP.
Teilnehmer setzen sich mit den Inhalten auseinander und stellen diese in einem Vortrag und einer schriftlichen Ausarbeitung vor.
Die Ausarbeitung kann einen Programmieranteil enthalten.
Nach Rücksprache können auch eigene Kapitel ausgesucht werden.
Auf Wunsch kann der Vortrag und/oder die Ausarbeitung auf Englisch verfasst werden.
|
Sitzungen des LS12 [HSCD-GSZ] -
- Lecturer:
- Jürgen Teich
- Details:
- Gremiensitzung
| | single appointment on 6.10.2021 | 15:30 - 18:00 | 02.112-128 | |
Streit, F.-J. |
| single appointment on 7.10.2021 | 12:00 - 18:00 | 02.112-128 | |
Hannig, F. |
| single appointment on 15.10.2021 | 14:00 - 18:00 | 01.150-128 | |
Teich, J. |
| single appointment on 18.10.2021 | 13:00 - 17:00 | 01.150-128 | |
Witterauf, M. |
| single appointment on 28.10.2021 | 14:00 - 15:00 | 02.151-128 | |
Streit, F.-J. |
| single appointment on 8.11.2021 | 14:00 - 18:00 | 01.150-128 | |
Becher, A. |
| single appointment on 16.11.2021 | 8:50 - 10:30 | 02.112-128 | |
Teich, J. |
| single appointment on 4.2.2022 | 9:50 - 11:30 | 02.112-128 | |
Kugler, S. |
| single appointment on 15.2.2022 | 14:00 - 15:00 | 02.112-128 | |
Falk, J. |
| single appointment on 22.2.2022, single appointment on 23.2.2022, single appointment on 5.4.2022, single appointment on 6.4.2022 | 8:30 - 18:00 | 02.112-128 | |
Wanka, R. |
| single appointment on 24.2.2022, single appointment on 25.2.2022 | 8:00 - 20:00 | 02.112-128 | |
Kugler, S. |
| block seminar 7.3.2022-18.3.2022 Mon, Tue, Wed, Thu, Fri block seminar 7.3.2022-18.3.2022 Mon, Tue, Wed, Thu, Fri block seminar 7.3.2022-18.3.2022 Mon, Tue, Wed, Thu, Fri block seminar 7.3.2022-18.3.2022 Mon, Tue, Wed, Thu, Fri block seminar 7.3.2022-18.3.2022 Mon, Tue, Wed, Thu, Fri block seminar 7.3.2022-18.3.2022 Mon, Tue, Wed, Thu, Fri block seminar 7.3.2022-18.3.2022 Mon, Tue, Wed, Thu, Fri block seminar 7.3.2022-18.3.2022 Mon, Tue, Wed, Thu, Fri single appointment on 24.3.2022 single appointment on 24.3.2022 | 9:00 - 10:00 14:00 - 15:00 9:00 - 10:00, 14:00 - 15:00 9:00 - 10:00 14:00 - 15:00 9:00 - 10:00 14:00 - 15:00 14:00 - 15:00 9:00 - 10:00 14:00 - 15:00 | 02.112-128 02.112-128 Übung 4 / 01.253-128, Übung 5 / 01.254-128 H13 H13 Übung 3 / 01.252-128, Übung 1 / 01.250-128 Übung 3 / 01.252-128 Übung 1 / 01.250-128 01.150-128, 01.151-128, Übung 5 / 01.254-128, 01.255-128 01.150-128, 01.151-128, Übung 5 / 01.254-128 | |
Brand, M. Spieck, J. Heidorn, Ch. |
| single appointment on 16.3.2022 | 9:00 - 11:00 | 02.112-128 | |
Keszöcze, O. |
| Mon | 9:00 - 11:00 | 02.112-128 | |
Teich, J. |
| Mon | 11:00 - 13:00 | 02.112-128 | |
Keszöcze, O. |
| Mon | 14:00 - 17:00 | 02.112-128 | |
Hannig, F. Teich, J. |
| Tue | 10:15 - 11:45 | Übung 5 / 01.254-128 | |
Heidorn, Ch. |
| Tue | 12:00 - 16:00 | 02.112-128 | |
Teich, J. |
| Wed | 9:30 - 11:00 | 02.112-128 | |
Falk, J. Teich, J. |
| Wed | 11:00 - 14:00 | 02.112-128 | |
Wildermann, S. Teich, J. |
| Fri single appointment on 11.3.2022, single appointment on 8.4.2022 | 9:30 - 12:00 9:30 - 12:00 | 02.112-128 02.112-128 | |
Falk, J. |
SoC-Entwurf [PR-SoCD] -
- Lecturers:
- Stefan Wildermann, Tobias Hahn
- Details:
- Praktikum, 3 cred.h, certificate, ECTS: 3, nur Fachstudium, Zur Anerkennung des Praktikums ist die erfolgreiche Teilnahme an den Praktikumsterminen verpflichtend.
- Dates:
- block seminar 21.3.2022-25.3.2022 Mon, Tue, Wed, Thu, Fri, 9:00 - 18:00, 02.133-128
Termin verhandelbar
- Fields of study:
- WPF IuK-BA ab 5
|
Systems- and Networks-on-a-Chip [SNoC] -
- Lecturers:
- Stefan Wildermann, Franz-Josef Streit
- Details:
- Seminar, 2 cred.h, ECTS: 5,0, nur Fachstudium
- Dates:
- to be determined
- Fields of study:
- WF CE-MA-SEM ab 1
WPF INF-BA-SEM ab 4
WPF INF-MA ab 1
WPF IuK-BA ab 5
|
Übung Effiziente kombinatorische Algorithmen [UE-EffAlg] -
- Lecturer:
- Rolf Wanka
- Details:
- Übung, 2 cred.h, ECTS: 2,5
- Fields of study:
- WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1
| | Thu | 10:15 - 11:45 | 02.134-113 | |
Wanka, R. |
Übungen zu Berechenbarkeit und Formale Sprachen [UE-BFS] -
- Lecturers:
- Rolf Wanka, Matthias Kergaßner
- Details:
- Übung, ECTS: 2,5
- Fields of study:
- PF INF-BA 3
WPF DS-BA ab 3
| | Mon | 14:00 - 15:30 | 0.154-115 | |
Frank, F.N. |
| Tue | 8:30 - 10:00 | 01.019 | |
Frank, F.N. |
| Tue | 12:15 - 13:45 | 0.154-115 | |
Kergaßner, M. |
| Tue | 14:15 - 15:45 | 01.021 | |
Brandt, C. |
| Wed | 16:15 - 17:45 | 00.152-113 | |
Bassimir, B. |
| Thu | 8:30 - 10:00 | 01.019 | |
Kergaßner, M. |
| Thu | 12:15 - 13:45 | 0.154-115 | |
Hofmann, S. |
| Fri | 8:15 - 9:45 | 00.151-113 | |
Bassimir, B. |
Verifikation digitaler Systeme [VdS] -
- Lecturer:
- Oliver Keszöcze
- Details:
- Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium
- Dates:
- Thu, 8:00 - 10:00, 02.112-128
single appointment on 28.10.2021, 8:00 - 10:00, 02.142-128
- Fields of study:
- WF CE-BA-TW ab 4
WPF INF-BA-V-HSCD ab 4
WPF INF-MA ab 1
- Contents:
- Für den Entwurf eines digitalen Systems werden heute in der Industrie ebenso viele Verifikationsingenieure wie Designer benötigt. Trotzdem beansprucht die Verifikation heute bereits 70%-80% der gesamten Entwurfszeit. Neben konventionellen Verifikationserfahren wie der Simulation sind werden seit einigen Jahren sogenannte "formale Verifikationsmethoden" in heutigen Entwursflüssen eingesetzt. Der Umgang mit diesen Methoden stellt ein wichtiges neues Aufgabenfeld dar. Im Gegensatz zur Simulation beruht die formale Verifikation auf exakten mathematischen Methoden zum Nachweis funktionaler Schaltungseigenschaften. Dadurch können Entwurfsfehler frühzeitiger und mit höherer Zuverlässigkeit als bisher erkannt werden. Jedes System zur formalen Hardwareverifikation erfordert:
Die Vorlesung behandelt diese drei Bereiche, vermittelt die grundlegenden Algorithmen und Konzepte moderner Werkzeuge für die formale Hardwareverifikation und erläutert deren Einsatz in der industriellen Praxis. Im Einzelnen werden in dieser Vorlesung die folgenden Punkte behandelt:
1. Modellierung digitaler Systeme
2. Unterschiede formaler und simulationsbasierter Verifikationsmethoden
3. Äquivalenzvergleich
4. Formale und simulationsbasierte Eigenschaftsprüfung
5. Assertions
6. Verifikation arithmetischer Schaltungen
|
Übung zur Verifikation digitaler Systeme [UE-VdS] -
- Lecturer:
- Oliver Keszöcze
- Details:
- Übung, 2 cred.h, ECTS: 2,5
- Dates:
- Thu, 10:00 - 12:00, 02.112-128
single appointment on 28.10.2021, 10:00 - 12:00, 02.142-128
- Fields of study:
- WPF INF-BA-V-HSCD ab 4
WF CE-BA-TW ab 4
WPF INF-MA ab 1
|
|
|