Floating Point Unit
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.
Guy Even. Computer Structure and Introduction to Digital Computers Lecture Notes, Tel-Aviv University, 2003
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
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.
Distributed Real-Time Systems
Steffen Knapp and Wolfgang Paul. Realistic Worst Case Execution Time Analysis in the Context of Pervasive System Verification In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm, 2006.
Steffen Knapp and Wolfgang Paul. Pervasive Verification of Distributed Real-Time Systems 2006. To appear.
Wolfgang Paul. Lecture Notes from the Lecture Computer Architecture 2: Automotive Systems Saarland University, 2005
Lecture Slides
Lecture 01 Introduction
Lecture 02 Overview
Lecture 03 ISA
Lecture 04 VAMP
Lecture 05 Devices
Lecture 06 MMU
Lecture 07 C0
Lecture 08 C0a
Lecture 09 CVM
Lecture 10 Parrallel Hardware Overview
Lecture 11 Serial Interface
Lecture 12 F-Interfaces
Lecture 13 ISA Devices
Lecture 14 WCET
Lecture 15 DOLOS
Lecture 16 AFTM