|
| |
- [1]
- Müller, S.M. and Paul, W.J.
Computer Architecture, Complexity and Correctness
Springer Verlag ISBN 3-540-67481-0
|
- [2]
- D. Kröning,
Formal Verification of Pipelined Microprocessors, PhD Thesis
 |
(only Chapter 6) |
|
- [3]
-
VM Simulation theorems, slides
|
|
- [3]
-
Errata of the Mueller Paul textbook "Computer Architecture, Complexity and Correctness"
|
|
- [4]
-
Lecture Script on Memory Management Units
|
|
|
|
|
