|
| |
| |
| |
| 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]
- 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.
PDF
|
- [6]
- Steffen Knapp and Wolfgang Paul.
Pervasive Verification of Distributed Real-Time Systems
2006. To appear.
PDF
|
- [7]
- Wolfgang Paul.
Lecture Notes from the Lecture Computer Architecture 2: Automotive Systems
Saarland University, 2005
PDF
|
|
| 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 |
|
|
