In: 29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2026). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, Würzburg, Germany, 2026.
In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, 2026.
In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.
In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.
Duy M. H. Nguyen; Tuan A. Tran; Duong Nguyen; Siwei Xie; Trung Nguyen; Mai T. N. Truong; Daniel Palenicek; An T. Le; Michael Barz; TrungTin Nguyen; Tuan Quang Dam; Hong Anh Le; Minh Vu; Khoa D. Doan; Ngo Anh Vien; Pengtao Xie; James Zou; Daniel Sonntag; Jan Peters; Mathias Niepert