• 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

News

Cyber-physical Systems

Current research topic is the design and verification of cyber-physical systems. We look at these systems from physical modeling over automatic model generation of the electrical and systems on intermediate levels up to the construction and modling of on system level.

Exemplary fields of application are the automotive sector, the motorcycle sector and the e-bike sector as well as other areas. Methods for modeling, optimization, verification, signal processing, control and synthesis are being researched.

Energy efficient neuronal networks

The design of energy-efficient neural networks is supported and optimized using the synthesis methods developped by us. Due to foccussing on analog implementations, we can implement circuits beeing very close to the technical limitations for energy consumption.

Automatic Synthesis

The synthesis problem could be divided in topology construction and circuit sizing. One approach deals with on circuit sizing, which determines transistor dimensions and other circuit parameters automatically on a formal basis, resulting verified sizing with optimal performances for small circuit sizes. Another approch tries to find circuit topologies in an automatic way using symbolic analysis for synthesis and analysis subtasks.

Analysis and Design of Robust Circuits and Systems

Recent semiconductor technologies are challenging not only due to large parameter variations but also due to aging of the transistors itself. At the design methodology group we develop analysis techniques for modling NBTI-aging of transistors in analog circuits and largely differing time scales and methods for redundant self-healing system configurations of heterogeneous (especially analog) systems.

Formal Verification

Formal verification is a method to mathematically prove the correctness of a system design with respect to a property specification (model checking) or a reference implementation (equivalence checking). At the Electronic Design Automation Group, advanced methods for formal verification of analog and mixed analog/digital circuits and systems are developed. Research focuses on circuit modeling for verification, property specification languages, and formal verification algorithms.

Specification of Analog Circuits

Machine-readable analog circuit specification provides significant productivity and security benefits. Especially in combination with formal methods, complete specifications can be created and tested.

  • Bib
  • LSF
  • Privacy Declaration
  • Legal Notice