TY - CONF A1 - Urban, Roberto A1 - Schölzel, Mario A1 - Vierhaus, Heinrich Theodor T1 - Ein konfigurierbarer Zwischencodesimulator zum compilerzentrierten Mikroprozessorentwurf T2 - Tagungsband Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013) Y1 - 2013 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/9483 PB - Univ., ITMZ CY - Rostock ER -