• deutsch
  • english
  • Home
  • Mitarbeiter
  • Lehre
    • 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
  • Forschung
    • Formal Verification of Analog AI Hardware (FAI)
    • Energieoptimierte analoge Schaltungen für deep neural networks (ENERGICS)
    • 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
    • Equivalence Checking (Vera) Simulation (gnucap-uf)
    • Joint Robotics Lab
    • Downloads
    • Cadence Academic Network
    • Studentische Projekte
  • Publikationen
    • Konferenzbeiträge
    • Journalbeiträge
    • Buchbeiträge
    • Bücher / Dissertationen
    • Studentische Arbeiten
  • Pinnwand
    • Aktuelle Bachelor-/Masterarbeiten:
      • Stability Analysis of Nonlinear Systems Using Lyapunov Theories
      • Model Interpolation of a Nonlinear System
    • Initiativbewerbung Bachelor-/ Masterarbeit
  • Intern
  • Forschungsprojekte
  • Formal Verification of Analog AI Hardware (FAI)
  • Energieoptimierte analoge Schaltungen für deep neural networks (ENERGICS)
  • 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)
  • Forschungsaktivitäten
  • 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
  • Datenschutzerklärung
  • Impressum