Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Berechenbarkeit und Formale Sprachen [BFS] -
- Dozent/in:
- Rolf Wanka
- Angaben:
- Vorlesung, 4 SWS, ECTS: 5
- Termine:
- Di, Fr, 10:15 - 11:45, Zoom-Meeting
Sprechstunde zur benutzten Video-Aufzeichung
- Studienrichtungen / Studienfächer:
- PF INF-BA 3
|
Cyber-Physical Systems [CPS] -
- Dozent/in:
- Torsten Klie
- Angaben:
- Vorlesung, 2 SWS, ECTS: 2,5
- Termine:
- Do, 16:15 - 17:45, 0.151-115
- Studienrichtungen / Studienfächer:
- 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
|
Übung zu Cyber-Physical Systems [UE-CPS] -
- Dozent/in:
- Torsten Klie
- Angaben:
- Übung, ECTS: 2,5
- Termine:
- Mo, 12:15 - 13:45, 00.151-113
- Studienrichtungen / Studienfächer:
- 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
|
Effiziente kombinatorische Algorithmen [EffAlg] -
- Dozent/in:
- Rolf Wanka
- Angaben:
- Vorlesung, 2 SWS, ECTS: 5
- Termine:
- Di, 14:15 - 15:45, 02.134-113
- Studienrichtungen / Studienfächer:
- WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1
|
Eingebettete Systeme [ES] -
- Dozentinnen/Dozenten:
- Jürgen Teich, Frank Hannig
- Angaben:
- Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium, auch für Computational Engineering
- Termine:
- Do, 12:15 - 13:45, H4
Anmeldung via StudOn: https://www.studon.fau.de/crs3213193.html
- Studienrichtungen / Studienfächer:
- 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] -
- Dozentinnen/Dozenten:
- Dominik Walter, Peter Brand
- Angaben:
- Übung, 2 SWS, ECTS: 2,5
- Termine:
- Einzeltermine am 22.1.2021, 8:00 - 18:00, 02.133-128, 02.151-128, 02.152-128
29.1.2021, 8:00 - 18:00, 02.133-128, 02.151-128, 02.152-128
12.2.2021, 8:00 - 18:00, 02.133-128, 02.151-128, 02.152-128
26.2.2021, 8:00 - 18:00, 02.133-128, 02.151-128, 02.152-128
verpflichtend, vor Ort an den Rechnerarbeitsplätzen des Lehrstuhls
- Studienrichtungen / Studienfächer:
- 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
|
Übung zu Eingebettete Systeme [UE-ES] -
- Dozentinnen/Dozenten:
- Peter Brand, Dominik Walter
- Angaben:
- Übung, 2 SWS, ECTS: 2,5, nur Fachstudium, auch für Computational Engineering
- Studienrichtungen / Studienfächer:
- 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
| | Mo | 8:15 - 9:45 | 0.111 | |
Plagwitz, P. |
| Mo | 12:15 - 13:45 | 02.133-128 | |
Walter, D. |
| Mi | 14:15 - 15:45 | 02.133-128 | |
Brand, P. |
Ereignisgesteuerte Systeme [EGS] -
- Dozent/in:
- Stefan Wildermann
- Angaben:
- Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium, Online; Auch für Computational Engineering, I&K und Medizintechnik
- Termine:
- Mi, 10:15 - 11:45, 02.224 Cauerstr.9
- Studienrichtungen / Studienfächer:
- 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] -
- Dozent/in:
- Stefan Wildermann
- Angaben:
- Übung, 2 SWS, ECTS: 2,5, nur Fachstudium, Online; Auch für Computational Engineering, I&K und Medizintechnik
- Studienrichtungen / Studienfächer:
- 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
| | Mi | 16:15 - 17:45 | 01.255-128 | |
Groth, S. |
| Do | 14:15 - 15:45 | 01.150-128 | |
Wildermann, S. |
Grundlagen der Technischen Informatik [GTI] -
- Dozentinnen/Dozenten:
- Jürgen Teich, Stefan Wildermann
- Angaben:
- Vorlesung, 4 SWS, Schein, ECTS: 5, für Anfänger geeignet, Frühstudium, Schein für praktische Übungen.
- Termine:
- Di, Do, 14:15 - 15:45, H11
- Studienrichtungen / Studienfächer:
- 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] -
- Dozentinnen/Dozenten:
- Marcel Brand, Michael Witterauf, Jan Spieck, Christian Heidorn
- Angaben:
- Praktikum, für Anfänger geeignet, Frühstudium
- Studienrichtungen / Studienfächer:
- 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
| | Einzeltermine am 1.3.2021, 8.3.2021 | 9:00 - 12:00 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 1.3.2021, 8.3.2021 | 12:30 - 15:30 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 1.3.2021, 8.3.2021 | 16:00 - 19:00 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 2.3.2021, 9.3.2021 | 9:00 - 12:00 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 2.3.2021, 9.3.2021 | 12:30 - 15:30 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 2.3.2021, 9.3.2021 | 16:00 - 19:00 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 3.3.2021, 10.3.2021 | 9:00 - 12:00 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 3.3.2021, 10.3.2021 | 12:30 - 15:30 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 3.3.2021, 10.3.2021 | 16:00 - 19:00 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 4.3.2021, 11.3.2021 | 9:00 - 12:00 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 4.3.2021, 11.3.2021 | 12:30 - 15:30 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 4.3.2021, 11.3.2021 | 16:00 - 19:00 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 5.3.2021, 12.3.2021 | 9:00 - 12:00 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 5.3.2021, 12.3.2021 | 12:30 - 15:30 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
| Einzeltermine am 5.3.2021, 12.3.2021 | 16:00 - 19:00 | 02.133-128 | |
Brand, M. Heidorn, Ch. Spieck, J. |
Übung zu Grundlagen der Technischen Informatik [UE-GTI] -
- Dozentinnen/Dozenten:
- Michael Witterauf, Marcel Brand, Christian Heidorn, Jan Spieck
- Angaben:
- Übung, 2 SWS, ECTS: 2,5, für Anfänger geeignet, Frühstudium, Zuteilung der Übungsleiter sind auf unserer Webpräsenz zu finden.
- Studienrichtungen / Studienfächer:
- 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
| | Mo | 10:15 - 11:45 | 02.133-113 | |
N.N. |
| Mo | 16:15 - 17:45 | 00.151-113 | |
N.N. |
| Di | 10:15 - 11:45 | 00.151-113 | |
N.N. |
| Di | 12:15 - 13:45 | 04.019 | |
N.N. |
| Di | 12:15 - 13:45 | 0.031-113 | |
N.N. |
| Di | 16:15 - 17:45 | 0.154-115 | |
N.N. |
| Di | 16:15 - 17:45 | 00.151-113 | |
N.N. |
| Mi | 12:15 - 13:45 | 02.224 Cauerstr.9 | |
N.N. |
| Mi | 12:15 - 13:45 | 02.133-128 | |
N.N. |
| Mi | 12:15 - 13:45 | K2-119 | |
N.N. |
| Mi | 16:15 - 17:45 | 01.150-128 | |
N.N. |
| Do | 10:15 - 11:45 | 01.150-128 | |
N.N. |
| Fr | 12:15 - 13:45 | 00.151-113 | |
N.N. |
Hardware-Software-Co-Design Seminar -
- Dozentinnen/Dozenten:
- Frank Hannig, Jürgen Teich
- Angaben:
- Kolloquium, 4 SWS
- Termine:
- Fr, 10:00 - 18:00, 01.255-128
Blockveranstaltung 19.2.2021-9.4.2021 Fr, 10:00 - 18:00, 01.255-128
|
Praktikum: Entwicklung interaktiver eingebetteter Systeme [PR-EES] -
- Dozent/in:
- Joachim Falk
- Angaben:
- Praktikum, 8 SWS, ECTS: 10
- Termine:
- Mo, 14:00 - 18:00, 02.133-128
Do, 9:30 - 13:30, 02.133-128
Vorbesprechung via Zoom https://fau.zoom.us/j/95911842176?pwd=czRGVnJvTEJoN1dHRUthWjJiSzlaQT09
Vorbesprechung: Montag, 2.11.2020, 14:00 - 16:00 Uhr, 02.133-128
- Studienrichtungen / Studienfächer:
- WPF INF-BA-PR ab 5
- Schlagwörter:
- Praktikum
|
Reconfigurable Computing [RC] -
- Dozent/in:
- Jürgen Teich
- Angaben:
- Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium
- Termine:
- Do, 8:30 - 10:00, 01.255-128
- Studienrichtungen / Studienfächer:
- 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] -
- Dozentinnen/Dozenten:
- Jorge A. Echavarria, Armin Schuster
- Angaben:
- Übung, 2 SWS, ECTS: 2,5, nur Fachstudium
- Termine:
- Fr, 14:15 - 15:45, 02.134-113
- Studienrichtungen / Studienfächer:
- 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] -
- Dozent/in:
- Martin Letras
- Angaben:
- Übung, 2 SWS, ECTS: 2,5, nur Fachstudium, mandatory, at the workstations residing in our lab at the chair
- Studienrichtungen / Studienfächer:
- 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
| | Einzeltermine am 23.11.2020, 7.12.2020, 14.12.2020, 11.1.2021, 1.2.2021, 8.2.2021, 15.2.2021 | 9:00 - 12:00 | 02.133-128 | |
Letras, M. |
mandatory, at the workstations residing in our lab at the chair |
| Einzeltermine am 24.11.2020, 8.12.2020, 15.12.2020, 12.1.2021, 2.2.2021, 9.2.2021, 16.2.2021 | 9:00 - 12: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] -
- Dozent/in:
- Oliver Keszöcze
- Angaben:
- Seminar, 2 SWS, ECTS: 5
- Termine:
- 8:00 - 18:00, 01.255-128
- Studienrichtungen / Studienfächer:
- WPF INF-MA ab 1
WPF INF-BA-SEM ab 4
- Inhalt:
- 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.
|
Seminar: Optimization of Deep Neural Networks [OptDNN] -
- Dozentinnen/Dozenten:
- Matthias Ziegler, Christian Schinabeck, Ashutosh Mishra, Muhammad Sabih, Frank Hannig
- Angaben:
- Seminar, 2 SWS, ECTS: 5,0
- Termine:
- Zeit/Ort n.V.
- Studienrichtungen / Studienfächer:
- WPF INF-MA ab 1
WPF INF-BA-SEM ab 4
- Inhalt:
- Künstliche Intelligenz bereichert unseren Alltag auf vielfältige Weise. Sobald ein Data Scientist ein Modell vollständig trainiert hat, kann es in eine Anwendung integriert werden. Innerhalb einer solchen Anwendung werden die Eingabedaten in das neuronale Netz eingespeist und liefern am Ende der Verarbeitungskette ihre Ausgabe. Dieser Inferenzschritt kann entweder in der Cloud oder auf dem lokalen Endgerät (Edge Device) ausgeführt werden.
Insbesondere wenn das Modell häufig auf einem Edge Device ausgeführt werden soll, muss es zuvor optimiert werden. Solche Optimierungen können strukturiertes oder unstrukturiertes Pruning, Quantisierung und Komprimierung, Subspace Methods oder Compiler für neuronale Netze umfassen. Eine Änderung der Struktur oder des Zahlendarstellung (z. B. float oder integer) des Netzwerks wirkt sich in der Regel sowohl auf die Geschwindigkeit als auch auf die Genauigkeit aus.
Basierend auf ausgewählten Anwendungen aus den Bereichen Audioverarbeitung (z. B. Sprecherlokalisierung) und Computer Vision (z. B. Tiefenextraktion) optimiert jede Seminargruppe eine der ausgewählten Anwendungen mit Hilfe von obengenannten Methoden und Werkzeugen (z. B. Neuronal Network Distiller), bewertet den Leistungsgewinn und stellt die jeweiligen Methoden und Ergebnisse allen Teilnehmerinnen und Teilnehmern vor.
|
Sitzungen des LS12 [HSCD-GSZ] -
- Dozent/in:
- Jürgen Teich
- Angaben:
- Gremiensitzung
| | Mo Blockveranstaltung 10.8.2020-26.10.2020 Mo, Blockveranstaltung 15.2.2021-5.4.2021 Mo | 14:00 - 17:00 14:00 - 17:00 | 02.112-128 02.112-128 | |
Hannig, F. Teich, J. |
| Mi Blockveranstaltung 12.8.2020-28.10.2020 Mi Blockveranstaltung 17.2.2021-7.4.2021 Mi Einzeltermin am 31.3.2021 | 11:00 - 12:30 9:30 - 11:00 11:00 - 12:30 11:00 - 12:30 | 02.112-128 02.112-128 02.112-128 02.142-128 | |
Falk, J. Teich, J. Wildermann, S. |
| Mi Blockveranstaltung 12.8.2020-28.10.2020 Mi, Blockveranstaltung 17.2.2021-7.4.2021 Mi Einzeltermine am 24.2.2021, 24.3.2021, 7.4.2021 | 12:00 - 14:00 12:00 - 14:00 12:00 - 14:00 | 02.112-128 02.112-128 02.142-128 | |
Wildermann, S. Teich, J. |
| Einzeltermin am 13.10.2020 | 9:45 - 11:00 | 02.112-128 | |
Teich, J. |
| Einzeltermin am 29.10.2020 | 15:00 - 18:00 | 02.112-128 | |
Teich, J. |
| Einzeltermin am 30.10.2020 | 9:00 - 11:00 | 02.112-128 | |
Wanka, R. |
| Einzeltermin am 4.11.2020 | 10:00 - 11:00 | 02.112-128 | |
Wanka, R. Bassimir, B. Kergaßner, M. |
| Einzeltermine am 23.11.2020 25.11.2020 | 11:00 - 11:45 10:00 - 10:45 | 02.112-128 02.112-128 | |
Wanka, R. |
| Einzeltermine am 24.11.2020 27.11.2020 | 16:00 - 18:00 12:00 - 16:00 | 02.112-128, 02.151-128 02.112-128, 02.151-128 | |
Klie, T. |
| Einzeltermin am 22.2.2021 | 8:00 - 18:00 | 02.112-128 | |
Hannig, F. |
| Einzeltermine am 23.2.2021, 24.2.2021, 7.4.2021, 8.4.2021 | 8:00 - 18:00 | 02.112-128 | |
Wanka, R. |
| Einzeltermin am 24.2.2021 | 8:00 - 18:00 | 01.255-128 | |
Teich, J. |
| Blockveranstaltung 1.3.2021-12.3.2021 Mo-Fr Blockveranstaltung 1.3.2021-12.3.2021 Mo-Fr Blockveranstaltung 1.3.2021-12.3.2021 Mo-Fr Blockveranstaltung 1.3.2021-12.3.2021 Mo-Fr Blockveranstaltung 1.3.2021-12.3.2021 Mo-Fr Blockveranstaltung 1.3.2021-12.3.2021 Mo-Fr Blockveranstaltung 1.3.2021-12.3.2021 Mo-Fr Blockveranstaltung 1.3.2021-12.3.2021 Mo-Fr Blockveranstaltung 1.3.2021-12.3.2021 Mo-Fr Blockveranstaltung 1.3.2021-12.3.2021 Mo-Fr | 9:00 - 10:00 9:00 - 10:00 12:30 - 13:30 12:30 - 13:30 12:30 - 13:30 16:00 - 17:00 9:00 - 10:00 12:30 - 13:30, 16:00 - 17:00 9:00 - 10:00 9:00 - 18:00 | H13 Übung 4 / 01.253-128, Übung 5 / 01.254-128 H13 Übung 4 / 01.253-128 Übung 5 / 01.254-128 H13, Übung 4 / 01.253-128, Übung 5 / 01.254-128 02.112-128 02.112-128, 02.142-128 02.142-128 02.151-128, 02.152-128 | |
Brand, M. |
| Einzeltermine am 5.3.2021, 9.4.2021 | 9:00 - 12:00 | 02.112-128 | |
Teich, J. Falk, J. Pourmohseni, B. |
| Einzeltermin am 24.3.2021 | 8:00 - 18:00 | 01.255-128 | |
N.N. |
| Einzeltermin am 25.3.2021 | 8:00 - 18:00 | 02.112-128 | |
Keszöcze, O. Teich, J. |
| Einzeltermine am 25.3.2021 25.3.2021 | 12:00 - 19:00 16:00 - 16:30 | 02.133-128, 02.152-128 01.255-128, 02.151-128 | |
Brand, M. |
| Einzeltermin am 26.3.2021 | 14:00 - 15:00 | 02.133-128 | |
Klie, T. |
| Einzeltermin am 31.3.2021 | 8:00 - 18:00 | 01.255-128 | |
N.N. |
| Einzeltermin am 31.3.2021 | 8:00 - 18:00 | 02.112-128 | |
Teich, J. |
| Mo | 9:00 - 11:00 | 02.112-128 | |
Teich, J. |
| Mo | 11:00 - 13:00 | 02.112-128 | |
Keszöcze, O. |
| Di | 12:00 - 16:00 | 02.112-128 | |
Teich, J. |
| Mi | 16:15 - 17:45 | 02.112-128 | |
Brand, M. |
| Do | 10:00 - 12:00 | 00.152-113 | |
Falk, J. |
| Fr | 9:00 - 10:00 | 02.112-128 | |
Keszöcze, O. |
| Fr | 10:00 - 12:00 | 02.112-128 | |
Teich, J. Falk, J. Pourmohseni, B. |
SoC-Entwurf [PR-SoCD] -
- Dozentinnen/Dozenten:
- Andreas Becher, Mehmet Akif Özkan
- Angaben:
- Praktikum, 3 SWS, Schein, ECTS: 3, nur Fachstudium, Zur Anerkennung des Praktikums ist die erfolgreiche Teilnahme an den Praktikumsterminen verpflichtend.
- Termine:
- Einzeltermin am 1.4.2021, 9:30 - 17:00, 02.133-128
Blockveranstaltung 6.4.2021-9.4.2021 Di-Fr, 9:30 - 17:00, 02.133-128
Termin verhandelbar
- Studienrichtungen / Studienfächer:
- WPF IuK-BA ab 5
|
Systems- and Networks-on-a-Chip [SNoC] -
- Dozentinnen/Dozenten:
- Stefan Wildermann, Franz-Josef Streit, Behnaz Pourmohseni
- Angaben:
- Seminar, 2 SWS, ECTS: 5,0, nur Fachstudium
- Termine:
- Zeit/Ort n.V.
- Studienrichtungen / Studienfächer:
- 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] -
- Dozent/in:
- Rolf Wanka
- Angaben:
- Übung, 2 SWS, ECTS: 2,5
- Studienrichtungen / Studienfächer:
- WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1
| | Do | 10:15 - 11:45 | 02.134-113 | |
Wanka, R. |
Übungen zu Berechenbarkeit und Formale Sprachen [UE-BFS] -
- Dozentinnen/Dozenten:
- Rolf Wanka, Matthias Kergaßner
- Angaben:
- Übung, ECTS: 2,5
- Studienrichtungen / Studienfächer:
- PF INF-BA 3
| | Mo | 8:15 - 9:45 | 01.021 | |
Kergaßner, M. |
| Mo | 10:15 - 11:45 | 00.151-113 | |
Kergaßner, M. |
| Mo | 16:15 - 17:45 | 01.019 | |
Frank, F. |
| Mi | 8:15 - 9:45 | K2-119 | |
Brandt, C. |
| Mi | 14:15 - 15:45 | 01.019 | |
Bassimir, B. |
| Do | 12:15 - 13:45 | 0.154-115 | |
Brandt, C. |
| Do | 16:15 - 17:45 | 0.154-115 | |
Meyerhöfer, N. |
| Fr | 8:15 - 9:45 | 0.154-115 | |
Bassimir, B. |
Verifikation digitaler Systeme [VdS] -
- Dozent/in:
- Oliver Keszöcze
- Angaben:
- Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium
- Termine:
- Di, 8:30 - 10:00, 02.112-128
- Studienrichtungen / Studienfächer:
- WF CE-BA-TW ab 4
WPF INF-BA-V-HSCD ab 4
WPF INF-MA ab 1
- Inhalt:
- 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] -
- Dozent/in:
- Oliver Keszöcze
- Angaben:
- Übung, 2 SWS, ECTS: 2,5
- Termine:
- Di, 10:00 - 11:30, 02.112-128
- Studienrichtungen / Studienfächer:
- WPF INF-BA-V-HSCD ab 4
WF CE-BA-TW ab 4
WPF INF-MA ab 1
|
|
|