TY - GEN A1 - Urban, Roberto A1 - Vierhaus, Heinrich Theodor A1 - Schölzel, Mario A1 - Altmann, Enrico A1 - Seelig, Horst T1 - Non-Cyclic Design Space Exploration for ASIPS - Compiler-Centered Microprocessor Design (CoMet) T2 - Journal of Circuits, Systems and Computers Y1 - 2016 U6 - https://doi.org/10.1142/S0218126616400120 SN - 0218-1266 SN - 1793-6454 VL - 25 IS - 3 ER - 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 - TY - CHAP A1 - Urban, Roberto A1 - Schölzel, Mario A1 - Vierhaus, Heinrich Theodor T1 - Entwicklungsumgebung für den compilerzentrierten Mikroprozessorentwurf (CoMet) T2 - DASS 2014, Dresdner Arbeitstagung Schaltungs- und Systementwurf, Tagungsband Y1 - 2014 SN - 978-3-8396-0738-1 PB - Fraunhofer Verlag CY - Stuttgart ER - TY - CHAP A1 - Urban, Roberto A1 - Schölzel, Mario A1 - Vierhaus, Heinrich Theodor A1 - Altmann, Enrico A1 - Seelig, Horst T1 - Compiler-Centred Microprocessors Design (CoMet) - From C-Code to a VHDL Model of an ASIP T2 - 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015, 22-24 April 2015, Belgrade, Serbia, proceedings Y1 - 2015 SN - 978-1-4799-6779-7 SN - 978-1-4799-6780-3 SP - 17 EP - 22 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Urban, Roberto A1 - Schölzel, Mario A1 - Vierhaus, Heinrich Theodor ED - Dietrich, Manfred T1 - Compilerzentrierter Mikroprozessor T2 - Tagungsband Dredner Arbeitstagung für Schaltungs- und Systementwurf (DASS 2013) Y1 - 2013 SN - 978-3-8396-0545-5 PB - Fraunhofer-Verl. CY - Stuttgart ER - TY - CHAP 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 PB - Univ., ITMZ CY - Rostock ER -