TY - CHAP A1 - Urban, Roberto A1 - Lehniger, Kai A1 - Heyne, Maximilian A1 - Schölzel, Mario A1 - Vierhaus, Heinrich Theodor T1 - Vergleich der Beschreibung und Simulation einer Befehlssatzarchitektur in LISA und CoMet T2 - MBMV 2014, Böblingen, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Y1 - 2014 SN - 978-3-95404-637-9 SP - 101 EP - 112 PB - Cuvillier Verlag CY - Göttingen ER -