• deutsch
  • english
  • Home
  • Mitarbeiter
  • Lehre
    • 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
    • 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
    • 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
    • Stellenausschreibung stud. Hilfskraft
    • Aktuelle Bachelor-/Masterarbeiten:
      • Vergleichende Analyse von Verfahren zur Bestimmung des kritischen Pfades in komplexen Ablaufsteuerungen auf Basis heuristischer Baumstrukturen
      • Stability Analysis of Nonlinear Systems Using Lyapunov Theories
      • Model Interpolation of a Nonlinear System
    • Initiativbewerbung Bachelor-/ Masterarbeit
  • Intern
  • Stellenausschreibung stud. Hilfskraft
  • Aktuelle Bachelor-/Masterarbeiten:
  • Initiativbewerbung Bachelor-/ Masterarbeit

Aktuelle Bachelor-/Masterarbeiten:

Vergleichende Analyse von Verfahren zur Bestimmung des kritischen Pfades in komplexen Ablaufsteuerungen auf Basis heuristischer Baumstrukturen

Model Interpolation of a Nonlinear System

Komprimierung existierender Test auf Grund von Fehleranalysen

  • Bib
  • LSF
  • Datenschutzerklärung
  • Impressum