HOME | CONTACT

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen
Only available in German

Kolloquium | Model-Checking of Mixed-Signal Circuits

17.10.22 | MZH 4380 | 16:00 Uhr
Informatik-Kolloquium


Im Rahmen des offiziellen Informatik-Kolloquiums laden wir ein:

Functional and formal verification are important methodologies for complex mixed-signal design validation. However the industry is still verifying such systems by pure simulation. This process lacks on error localization and formal verifications methods. This is the existing verification gap between the analog and digital blocks within a mixed-signal system. This approach shows a symbolic model checker (MScheck) for mixed-signal circuits. MScheck is capable to conflate the continuous behavior, typical for analog designs, and the discrete behavior in the digital domain for formal verification. Timing information of both systems will be symbolically stored within multi terminal binary decision diagrams (MTBDDs) for the entire verification procedure. The effectiveness of our approach is demonstrated by typical Mixed-Signal circuits.

Biografie

Prof. Dr. Alexander Jesser hat sein Diplom in Ingenieurinformatik mit dem Schwerpunkt Elektrotechnik an der Universität Paderborn und sein Doktor in Technischer Informatik von der Johann-Wolfgang Goethe Universität Frankfurt a.M.. Vor seiner akademischen Laufbahn war er in führenden Positionen bei Unternehmen der Medizintechnik und der Automobilindustrie tätig. Seit 2013 ist er ordentlicher Professor für Eingebettete Systeme und Kommunikationstechnik an der Hochschule Heilbronn. Seit 2019 ist er Studiendekan für den Bachelor- und Masterstudiengang Elektrotechnik an der gleichen Hochschule. Seit 2021 ist er Leiter des Instituts für Intelligente Cyber-Physische Systeme an der Hochschule Heilbronn. Er forscht auf dem Gebiet der Intelligenten Cyber-Physischen Systeme.

Zoom Zugangsdaten erfragen Sie gerne bei Lisa Jungmann.
10-10-2022
Kontakt: Rolf Drechsler


Kolloquium | Model-Checking of Mixed-Signal Circuits


©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy