• deutsch
  • english
  • Home
  • Mitarbeiter
  • Lehre
    • SS 2019
      • 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
    • Offene Masterarbeiten
      • Vergleichende Analyse von Verfahren zur Bestimmung des kritischen Pfades in komplexen Ablaufsteuerungen auf Basis heuristischer Baumstrukturen
    • Initiativbewerbung Bachelor-/ Masterarbeit
  • Intern

Leitung

Prof. Dr.-Ing. Lars Hedrich

Sekretariat

Bircan Dölek

Wissenschaftliche Mitarbeiter

Dipl.-Math. Anna Reckers
M.Sc. Ahmad Tarraf

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
  • Bib
  • LSF
  • Impressum