29. MBMV-Workshop 2026 in Würzburg Modellierung und Verifikation von Schaltungen und Systemen

Der MBMV-Workshop etabliert sich seit Jahren als zentrale Plattform für den Austausch über neueste Entwicklungen im Bereich der Modellierungs- und Verifikationsmethoden sowie Beschreibungssprachen für digitale, analoge und Mixed-Signal-Schaltungen. Ausgerichtet wird er gemeinsam von der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft im VDE (ITG) sowie der Gesellschaft für Mikroelektronik, Mikrosystem und Feinwerktechnik (GMM).

In diesem Jahr übernahm die Computer Engineering Gruppe der Julius-Maximilians-Universität Würzburg die Organisation; Veranstaltungsort war das Institut für Informatik. Das wissenschaftliche Programm umfasste 22 Fach- und Übersichtsvorträge und bot damit reichlich Gelegenheit für lebhafte Debatten über neue Ideen und Forschungsergebnisse innerhalb der deutschsprachigen Fachgemeinschaft.

Als besonderes Highlight erwies sich die Keynote von Prof. Dr. Andreas Gerstlauer (University of Texas at Austin) zum Thema »Machine Learning for System-Level Modeling«. Die thematische Breite des Programms unterstrich eindrucksvoll die anhaltende Dynamik des Fachgebiets und zeigte erneut, wie eng akademische und industrielle Forschung in diesem Bereich miteinander verknüpft sind.

Unter vielen interessanten Beiträgen ist den Gutachtern dabei die Arbeit „Truly Scalable Grids of RISC-V Processors with Local Memories“ von Lars Luchterhandt, Vivek Govindasamy, Yutong Wang, Rainer Dömer, Wolfgang Müller und Christoph Scheytt besonders positiv aufgefallen. Als Anerkennung verliehen die Workshop-Vorsitzenden Prof. Matthias Jung und Prof. Daniel Müller-Gritschneder den Autoren den „MBMV Best Paper Award“ sowie eine Flasche Universitätswein im traditionell fränkischen Bocksbeutel.

Am Abend des ersten Tagungstags konnten die Teilnehmenden des Weiteren im Rahmen einer Stadtführung die spannende Geschichte der Stadt Würzburg kennenlernen, sowie bei einem gemeinsamen Abendessen im historischen Rathaus in zwangloser Atmosphäre weitere wertvolle Gespräche führen.

Ein herzlicher Dank gilt der ITG, der GMM sowie der Fakultät für Informatik der Universität Würzburg, deren tatkräftige Unterstützung maßgeblich zum Gelingen der Veranstaltung beigetragen hat. Die regen Diskussionen lassen hoffen, dass die in Würzburg geknüpften Kontakte und ausgetauschten Impulse in künftige Kooperationen und innovative Projekte münden werden.

Der nächste MBMV-Workshop ist für Februar 2027 in Paderborn geplant – und steht unter einem besonderen Vorzeichen: Als 30. Jubiläumsauflage kehrt der Workshop an seinen Ursprungsort zurück, wo seinerzeit alles begann. Wir freuen uns auf ein besonderes Wiedersehen mit der Community.