Der 29. Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV) fand am 17. und 18. März 2026 an der Julius-Maximilians-Universität Würzburg statt.
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“. Der Beitrag entstand als Kooperation unserer Fachgruppe “Schaltungstechnik” des Heinz Nixdorf Instituts mit Prof. Dömer der University of California, Irvine, USA.
Weitere Informationen zum Workshop gibt es hier.
