TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter A1 - Vierhaus, Heinrich Theodor ED - Dabrowski, Adam T1 - Application Specific Processor Design for Digital Signal Processing T2 - Signal processing '2004, workshop proceedings, Poznan, 24th September 2004 Y1 - 2004 SN - 83-913251-5-6 SP - 7 EP - 15 PB - Poznan Univ. of Technology CY - Poznan ER - TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter T1 - Durchgängiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software T2 - Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium für Prof. Dr.-Ing. Günter Elst, 10. - 11. Mai 2006 Y1 - 2006 SP - 19 EP - 24 PB - Fraunhofer-Institut CY - Dresden ER - TY - CHAP A1 - Rühlke, St. A1 - Schneider, J. A1 - Bachmann, Peter A1 - Rogin, F. T1 - Qualitätssicherung für wiederverwendbare Schaltungsbeschreibungen durch HDL-Code-Analyse Y1 - 2000 ER - TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter T1 - DESCOMP: A New Design Space Exploration Approach T2 - Systems aspects in organic and pervasive computing - ARCS 2005, 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14 - 17, 2005, proceedings Y1 - 2005 SN - 3-540-25273-8 SP - 178 EP - 192 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Bachmann, Peter T1 - Formal Verification of Event Driven Systems Y1 - 2006 ER - TY - GEN A1 - Rülke, Steffen A1 - Schneider, Jörg A1 - Bachmann, Peter A1 - Rogin, Frank T1 - Quality guaranty of reusable circuit description throught HDL-Source Code Analysis T2 - International Workshop on IP-Based Synthesis and System Design’99 Y1 - 1999 ER -