@inproceedings{UrbanSchoelzelVierhaus2013, author = {Roberto Urban and Mario Sch{\"o}lzel and Heinrich Theodor Vierhaus}, title = {Ein konfigurierbarer Zwischencodesimulator zum compilerzentrierten Mikroprozessorentwurf}, booktitle = {Tagungsband Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013)}, year = {2013}, }