2000
Computerinterne Informationsdarstellung
R.G. Spallek, V. Kärger, In: Taschenbuch der Informatik. Fachbuchverlag Leipzig im Carl Hanser Verlag, 2000, 3. Auflage, Seiten 63-83
Computer
R.G. Spallek, S. Sawitzki, In: Taschenbuch der Informatik. Fachbuchverlag Leipzig im Carl Hanser Verlag, 2000, 3. Auflage, Seiten 87-122
Externe Speicher und periphere Geräte
R.G. Spallek, J. Ebert, In: Taschenbuch der Informatik. Fachbuchverlag Leipzig im Carl Hanser Verlag, 2000, 3. Auflage, Seiten 125-151
Prototyping-Umgebung für rekonfigurierbare Mikroprozessoren auf FPGA-Basis
S. Sawitzki, St. Köhler, R.G. Spallek, Dresdner Arbeitstagung Schaltkreis- und Systementwurf, DASS'2000, Fraunhofer-Institut für Integrierte Schaltungen, Mai 2000, Dresden, Germany
Digitale Signalverarbeitung mit dynamisch rekonfigurierbaren Architekturen
St. Köhler, S. Sawitzki, R.G. Spallek, Dresdner Arbeitstagung Schaltkreis- und Systementwurf, DASS'2000, Fraunhofer-Institut für Integrierte Schaltungen, Mai 2000, Dresden, Germany
Prototyping Environment for Reconfigurable Processors
S. Sawitzki, St. Köhler, R.G. Spallek, Dagstuhl-Seminar-Report No. 261, Dynamically Reconfigurable Architectures, Dagstuhl, Juni 2000
Evaluation of Dynamically Reconfigurable Architectures for Digital Signal Processing
St. Köhler, S. Sawitzki, R.G. Spallek, Dagstuhl-Seminar-Report No. 261, Dynamically Reconfigurable Architectures, Dagstuhl, Juni 2000
Formal Verification for Microprocessors with Extendable Instruction Set
S. Sawitzki, R.G. Spallek, J. Schönherr, B. Straube, IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP'2000, Boston, USA).IEEE Computer Society Press, 2000
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=862377
Digital Signal Processors for Multimedia Applications
St. Köhler, S. Sawitzki, R.G. Spallek, In : Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics and the 6th International Conference on Information Systems, Analysis and Synthesis, SCI/ISAS 2000,Orlando, USA, Volume VI, Image Acoustic, Speech and Signal Processing: Part II, Seiten 107-112, International Institute of Informatics and Systemics, 2000
Formal Verification of a Reconfigurable Microprocessor, Field-Programmable Logic and Applications
S. Sawitzki, J. Schönherr, R.G. Spallek, B. Straube, In : Hartenstein, Reiner W. and Grünbacher, H. (Editoren): Lecture Notes in Computer Science, Bd. 1896 , S. 781-784. Springer-Verlag, Berlin u.a., 2000
S. Sawitzki, St. Köhler, R.G. Spallek FPGA-based Prototyping Environment for Reconfigurable Microprocessors, International Conference on Information Technology and Communication, Bangkok, Thailand, 2000
Experimenteller Vergleich verschiedener Entwurfsmethoden für FPGA-basierte Entwurfsabläufe
S. Sawitzki, St. Köhler, R.G. Spallek, J. Schneider (FhG Dresden), St. Rülke (FhG IIS-EAS Dresden) ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 28.2.2000-1.3.2000, Frankfurt, Germany in : C.Grimm, K.Waldschmidt (Herausgeber): «Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen« Forschungs-Report, VDE-Verlag, 2000
Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level
J. Schönherr, B. Straube, DATE 2000 - Design, Automation & Test In Europe, Paris, 27. - 30. März 2000
Induction based Equivalence Check at Register Transfer Level
J. Schönherr, B. Straube, ITG/GI/GMM-Workshop ,"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Frankfurt/Main, 28. Februar - 1. März 2000
Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten
J. Schönherr, B. Straube, ITG/GI/GMM-Workshop ,"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Frankfurt/Main, 28. Februar - 1. März 2000