Computer Architecture

BOOKS

• Hardware Design - Formaler Entwurf Digitaler Schaltungen
  Jörg Keller, Wolfgang Paul, 1995

• The Complexity of Simple Computer Architectures
  Silvia M. Müller, Wolfgang Paul, 1995

• Computer Architecture: Complexity and Correctness
  Silvia M. Müller, Wolfgang Paul, Further excerpts available upon request. 2000

PAPERS

• Building the 4 Processor SB-PRAM Prototype
  Peter Bach, Michael Braun, Arno Formella, Jörg Friedrich, Thomas Gruen, Cedric Lichtenau, 1997

• The DATIS-P Parallel Machine
  Wolfgang Paul, Dieter Scheerer, 1991

• Cost Effectiveness of Data Flow Machines and Vector Processors
  Arno Formella, Werner Massonne, Wolfgang Paul, 1992

• Proving the Correctness of a Complete Microprocessor
  Christian Jacobi, Daniel Kröning, 2000

• Formal Verification of a Basic Circuits Library
  Christoph Berg, Christian Jacobi, Daniel Kröning, 2001

• Formal Verification of the VAMP Microprocessor (Project Status)
  Christoph Berg, Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, 2002

Master/Phd Thesis

• The influence of the communication startup time on the performance of multicomputers, running numerical applications
  Silvia M. Müller, 1989

• RISC and CISC: Optimization and Comparison of Architectures
  Silvia M. Müller, 1991

• On the Realization of the PRAM Model (German)
  Jörg Keller, 1992

• Performance and Quality of Vectorcomputers for Numerical Applications (German)
  Arno Formella, 1992

• Performance and Optimization of CPU architectures with VAX and IBM/370 instruction sets
  Dietmar Schmidt, 1992

• Performance and Cost Effectiveness of Data Flow Architectures (German)
  Werner Massonne, 1994

• Design and Evaluation of a RISC Processor with a Tomasulo Scheduler
  Daniel Kröning, Master's Thesis 1999

• Design and Evaluation of a Superscalar RISC Processor
  Mark Hillebrand, 2000

• A Relational Database System for the SB-PRAM; Concurrency Control and TPC-B (in german)
  Christian Jacobi, 1999

Other

• Run Time Simulation of a DLX Processor with Stall Engine
  Peter Dell, Lab Project Documentation 1997

• Comparing the SB-PRAM with a perfect PRAM using Quicksort
  Christian Jacobi, Jochen Roehrig, Unpublished