@inproceedings{SchoelzelBachmannVierhaus, author = {Sch{\"o}lzel, Mario and Bachmann, Peter and Vierhaus, Heinrich Theodor}, title = {Application Specific Processor Design for Digital Signal Processing}, series = {Signal processing '2004, workshop proceedings, Poznan, 24th September 2004}, booktitle = {Signal processing '2004, workshop proceedings, Poznan, 24th September 2004}, editor = {Dabrowski, Adam}, publisher = {Poznan Univ. of Technology}, address = {Poznan}, isbn = {83-913251-5-6}, pages = {7 -- 15}, language = {en} } @inproceedings{SchoelzelBachmann, author = {Sch{\"o}lzel, Mario and Bachmann, Peter}, title = {Durchg{\"a}ngiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software}, series = {Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium f{\"u}r Prof. Dr.-Ing. G{\"u}nter Elst, 10. - 11. Mai 2006}, booktitle = {Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium f{\"u}r Prof. Dr.-Ing. G{\"u}nter Elst, 10. - 11. Mai 2006}, publisher = {Fraunhofer-Institut}, address = {Dresden}, pages = {19 -- 24}, language = {de} } @inproceedings{RuehlkeSchneiderBachmannetal., author = {R{\"u}hlke, St. and Schneider, J. and Bachmann, Peter and Rogin, F.}, title = {Qualit{\"a}tssicherung f{\"u}r wiederverwendbare Schaltungsbeschreibungen durch HDL-Code-Analyse}, language = {de} } @inproceedings{SchoelzelBachmann, author = {Sch{\"o}lzel, Mario and Bachmann, Peter}, title = {DESCOMP: A New Design Space Exploration Approach}, series = {Systems aspects in organic and pervasive computing - ARCS 2005, 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14 - 17, 2005, proceedings}, booktitle = {Systems aspects in organic and pervasive computing - ARCS 2005, 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14 - 17, 2005, proceedings}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-25273-8}, pages = {178 -- 192}, language = {en} } @misc{Bachmann, author = {Bachmann, Peter}, title = {Formal Verification of Event Driven Systems}, language = {en} } @misc{RuelkeSchneiderBachmannetal., author = {R{\"u}lke, Steffen and Schneider, J{\"o}rg and Bachmann, Peter and Rogin, Frank}, title = {Quality guaranty of reusable circuit description throught HDL-Source Code Analysis}, series = {International Workshop on IP-Based Synthesis and System Design'99}, journal = {International Workshop on IP-Based Synthesis and System Design'99}, language = {en} }