Submit Form
deutsch
english
Home
Staff
Teaching
WS 2024/25
Entwurf heterogener Systeme
Analoge Schaltungen der Informationsverarbeitung
Systemverifikation
SS 2024
Praktikum Analog Chip Design
Aktuelle Themen der Entwurfsmethodik
Electronic Design Automation
WS 2023/24
Systemverifikation
Entwurf heterogener Systeme
Analoge Schaltungen der Informationsverarbeitung
SS 2023
Rechnertechnologie und kombinatorische Schaltungen
Electronic Design Automation
Aktuelle Themen der Entwurfsmethodik
WS 2022/23
Entwurf heterogener Systeme
Systemverifikation
Analoge Schaltungen der Informationsverarbeitung
SS 2022
Electronic Design Automation
Aktuelle Themen der Entwurfsmethodik
WS 2021/22
Entwurf heterogener Systeme
Systemverifikation
SS 2021
Rechnertechnologie und kombinatorische Schaltungen
Aktuelle Themen der Entwurfsmethodik
Electronic Design Automation (abgesagt)
WS 2020/21
Entwurf heterogener Systeme
SS 2020
Rechnertechnologie und kombinatorische Schaltungen
WS 2019/20
Systemverifikation
Entwurf heterogener Systeme
Analoge Schaltungen der Informationsverarbeitung
SS 2019
Electronic Design Automation
Praktikum Analog Chip Design
Aktuelle Themen des Hardwareentwurfs / der Entwurfsmethodik
WS 2018/2019
Systemverifikation
Entwurf heterogener Systeme
Analoge Schaltungen der Informationsverarbeitung
SS 2018
Aktuelle Themen des Hardwareentwurfs / der Entwurfsmethodik
Electronic Design Automation
Hardwarearchitekturen und Rechensysteme
WS 2017/2018
Analoge Schaltungen der Informationsverarbeitung
Entwurf heterogener Systeme
Systemverifikation
SS 2017
Electronic Design Automation
Aktuelle Themen des Hardwareentwurfs / der Entwurfsmethodik
Praktikum Analog Chip Design
WS 2016/2017
Systemverifikation
Entwurf heterogener Systeme
Analoge Schaltungen der Informationsverarbeitung
SS 2016
Hardwarearchitekturen und Rechensysteme
Electronic Design Automation
WS 2015/16
Systemverifikation
Entwurf heterogener Systeme
SS 2015
Aktuelle Themen des Hardwareentwurfs / der Entwurfsmethodik
Electronic Design Automation
WS 2014/2015
Entwurf heterogener Systeme
Systemverifikation
Analoge Schaltungen der Informationsverarbeitung
SS 2014
Hardwarearchitekturen und Rechensysteme
Electronic Design Automation
Aktuelle Themen des Hardwareentwurfs / der Entwurfsmethodik
Archiv
Research
Formal Verification of Analog AI Hardware (FAI)
Energy Optimised Analog Circuits for Deep Neural Networks (ENERGICS)
Formal Abstraction and Verifcation of Analog Circuits (faveAC)
Analog-Coverage in der Nanoelektronik (ANCONA)
Hochverlässliches selbst-adaptives Mixed-Signal Multi-Core System-on-Chip(MixedCoreSoC)
Mikrosystem-Design-Flow für KMUs (MiDes)
Code-Coverage for Verilog-A Models
ASDeX (Formalized Specification of Analog Circuits)
FAC'14 Benchmark Suite
Equivalence Checking (Vera) Simulation (gnucap-uf)
Joint Robotics Lab
Downloads
Cadence Academic Network
Studentische Projekte
List of Publications
Conference Publications
Journals
Book Chapter
Books / Ph.D. Theses
M.Sc. / B.Sc. Theses
Thesis
Aktuelle Bachelor-/Masterarbeiten:
Initiativbewerbung Bachelor-/ Masterarbeit
Internal
Prof. Dr.-Ing. Lars Hedrich
Ulrike Knauf
Sascha Schmalhofer
Yasmin Abu-Haeyeh
Dr. Ahmad Tarraf
Dipl.-Math. Anna Reckers
Bircan Dölek
Dipl.-Inf. Andreas Fürtig
Dieter Hamm
System Administrator