• deutsch
  • english
  • Home
  • Staff
  • Teaching
    • 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:
      • Stability Analysis of Nonlinear Systems Using Lyapunov Theories
      • Model Interpolation of a Nonlinear System
    • Initiativbewerbung Bachelor-/ Masterarbeit
  • Internal
  • Research Projects
  • 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)
  • Research Activities
  • 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
  • Abgeschlossene Projekte
  • Bib
  • LSF
  • Privacy Declaration
  • Legal Notice