Institute for Computer Architecture
and Parallel Computing
Computer Architecture 2
Bibliography
 
Floating Point Unit
[1]
Müller, S.M. and Paul, W.J. Computer Architecture, Complexity and Correctness Springer Verlag ISBN 3-540-67481-0
Please also take a look at the errata list for known bugs.
[2]
Guy Even. Computer Structure and Introduction to Digital Computers Lecture Notes, Tel-Aviv University, 2003
PDF
[3]
Christian Jacobi. Formal Verification of a Theory of IEEE Rounding In Boulton, R.J. and Jackson, P.B., editors, TPHOLs 2001: Supplemental Proceedings, Edinburgh, UK, 2001
PDF
[4]
C. Berg and C. Jacobi. Formal Verification of the VAMP Floating Point Unit In Proc.\ 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME), volume 2144 of LNCS, pages 325-339, Springer, 2001.
PDF
 
Distributed Real-Time Systems
[5]
Wolfgang Paul. Lecture Notes from the Lecture Computer Architecture 2: Automotive Systems Saarland University, 2005
PDF
[6]
Steffen Knapp and Wolfgang Paul. Pervasive Verification of Distributed Real-Time Systems. Lecture Notes from Software System Reliability and Security Summer School in Marktoberdorf, 2006
PDF
[7]
Christian Müller and Wolfgang Paul. Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. In Conference on Computer Aided Verification (CAV 2011), Springer LNCS, 2011
PDF
[8]
Christian Müller. Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. PhD Thesis, Saarland University, 2011
PDF
 
Out-of-Order Execution / Tomasulo Schedulers
[9]
Daniel Kröning. Formal Verification of Pipelined Microprocessors. Doktorarbeit, Saarland University, 2001
PDF
 
Multi-Core Architectures
[10]
Wolfgang Paul, Norbert Schirmer and Ulan Degenbaev. Theory of Memory. Saarland University, 2008
PPT
[11]
Wolfgang Paul. Lecture Notes from the Lecture Multicore System Architecture. Saarland University, 2009
PDF
[12]
Wolfgang Paul. A Pipelined Multi Core MIPS Machine - Hardware Implementation and Correctness Proof. [DRAFT]
Saarland University, 2012
PDF