The 29th Workshop "Methods and Description Languages for Modelling and Verification of Circuits and Systems" (MBMV) took place on 17 and 18 March 2026 at the Julius-Maximilians-Universität Würzburg.
Among many interesting contributions, the reviewers were particularly impressed by the paper "Truly Scalable Grids of RISC-V Processors with Local Memories" by Lars Luchterhandt, Vivek Govindasamy, Yutong Wang, Rainer Dömer, Wolfgang Müller and Christoph Scheytt. In recognition of this, the workshop chairmen Professor Matthias Jung and Professor Daniel Müller-Gritschneder presented the authors with the "MBMV Best Paper Award". The paper was the result of a cooperation between our "System and Circuit Technology" workgroup at the Heinz Nixdorf Institute and Professor Dömer from the University of California, Irvine, USA.
Further information on the workshop can be found here.
