MBMV 2023 an der Technischen Fakultät

Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)“ vom 23.–24.03.2023

Prof. Armin Biere, Professur für Rechnerarchitektur, am Institut für Informatik war Gastgeber der zweitägigen Tagung, an der 29 Expert*innen aus 12 Universitäten, Hochschulen und Instituten in Deutschland und Österreich sowie Mitarbeiter*innen aus Unternehmen wie Siemens EDA GmbH, Cadence Design Systems GmbH, und Infineon Technologies AG, sich mit neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung und der Verifikation von Schaltungen und Systemen beschäftigten.

„Der Workshop bot eine hervorragende Möglichkeit, sich dieses Jahr nun auch wieder persönlich über die neuesten Entwicklungen in der Electronic Design Automation (EDA) und verwandten Gebieten auszutauschen, einem wesentlichen Bereich der Chipentwicklung. Er zeigte erneut, welche exzellente Expertise auf dem EDA Gebiet im deutschsprachigen Raum vorhanden ist“, sagt Prof. Biere.

Das Ziel des Workshops war es, auf den Gebieten der Modellierung und Verifikation von analogen und digitalen Schaltungen sowie eingebettenden Systemen aktuelle Fragestellungen und Lösungen aus Wissenschaft und industrieller Anwendung zu diskutieren. Darüber hinaus gab es den Vortrag „Early Co-verification of Firmware and Hardware to Speed up Development of Embedded Systems“ von Jörg Bormann, Siemens EDA GmbH.

Folgende Themen wurden während der Tagung diskutiert:

  • Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung
  • Standards und Erweiterungen von Modellierungssprachen für Hardware oder HW/SW-Systeme
  • Modelle und Methoden für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch, HW/SW
  • Verhaltensmodellierung, KI-basierte Modelle
  • Modellbasierte Entwicklung
  • Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen
  • Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
  • Schaltungen und Systeme in sicherheitsrelevanten Produkten
  • Verifikation nichtfunktionaler Eigenschaften
  • Simulationsbasierte Verifikation und Validierung
  • Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse

Der 26. Workshop fand in Kooperation der GMM, ITG und GI-Fachgruppen FG3 und FG4 statt.

  • GMM: VDE/VDI-Gesellschaft für Mikroelektronik, Mikrosystem- und Feinwerktechnik
  • ITG: Informationstechnische Gesellschaft im VDE
  • GI FG3: Fachgruppe 3 vom RSS (Rechnergestützter Schaltungs- und Systementwurf) beschäftigt sich mit automatisierbaren Methoden der Konstruktion und Verifikation sowie einzelner integrierter digitaler Schaltungen als auch kompletter digitaler Systeme
  • GI FG4: Fachgruppe 4 vom RSS (Rechnergestützter Schaltungs- und Systementwurf) beschäftigt sich mit Beschreibungssprachen und Modellierung von Schaltungen und Systemen

 

Kontakt:

Prof. Dr. Armin Biere
Institut für Informatik
Professur für Rechnerarchitektur
E-Mail: biere@cs.uni-freiburg.de

Kerstin Steiger-Merx
Referentin PR/Marketing
Technische Fakultät
Albert-Ludwigs-Universität Freiburg
Tel.: 0761/203-8056
E-Mail: steiger-merx@tf.uni-freiburg.de