Submit Form
deutsch
english
Home
Mitarbeiter
Lehre
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
Forschung
Formal Abstraction and Verification 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
Simulation, gnucap-uf
Joint Robotics Lab
Cadence Academic Network
Downloads
Studentische Projekte
Publikationen
Konferenzbeiträge
Journalbeiträge
Buchbeiträge
Bücher / Dissertationen
Studentische Arbeiten
Arbeiten
Aktuelle Bachelor-/Masterarbeiten:
Vergleichende Analyse von Verfahren zur Bestimmung des kritischen Pfades in komplexen Ablaufsteuerungen auf Basis heuristischer Baumstrukturen
Data Visualization in Matlab
Stability Analysis of Nonlinear Systems Using Lyapunov Theories
Model Interpolation of a Nonlinear System
Initiativbewerbung Bachelor-/ Masterarbeit
Intern
Leitung
Prof. Dr.-Ing. Lars Hedrich
Sekretariat
Bircan Dölek
Wissenschaftliche Mitarbeiter
Dipl.-Math. Anna Reckers
M.Sc. Ahmad Tarraf
Studentische Hilfskräfte
B. Sc. Florian Aul
Alumni
Dipl.-Inf. Andreas Fürtig
Blerina Jusufi
Nicole Elsässer
Dr. Felix Salfelder
Dr. Julius von Rosen
Dr. Markus Meissner
M. Sc. Mingyu Ma
Dipl.-Ing. Oliver Mitea
Angelika Schifignano
Prof. Dr. Sebastian Steinhorst
Dr. Xiaoying Wang
Prof. Dr. Alexander Jesser
Dieter Hamm
