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. Über 30 Teilnehmende aus Wissenschaft und Industrie nutzten die zweitägige Veranstaltung, um aktuelle Forschungsarbeiten vorzustellen und gemeinsam zu diskutieren.

Eine von Studierenden der JMU Würzburg im Rahmen der TinyTapeout Intitiative entwickelte RISC-V-CPU wurde an Bord einer SpaceX Rakete erfolgreich im Weltall aktiviert und getestet.

In a cooperation between the Integrated Circuits and Quantum Computing institute of Prof. Harald Pretl at JKU Linz and the Computer Engineering group at JMU Würzburg lead by Prof. Matthias Jung, a WSPR-capable transmitter realized as a 130 nm analog mixed-signal design via Tiny Tapeout has been developed.