- Page 1: LABORATOIRE INTERFACES CAPTEURS ET
- Page 5: Acknowledgements A PhD thesis is a
- Page 8 and 9: 2 CONTENTS 2.3 Error Recovery . . .
- Page 13 and 14: General Introduction owadays, devic
- Page 15 and 16: checking processor core (SCPC). The
- Page 17: I. STATE OF ART 11
- Page 20 and 21: 14 CHAPTER 1. DEPENDABILITY AND FAU
- Page 22 and 23: 16 CHAPTER 1. DEPENDABILITY AND FAU
- Page 24 and 25: 18 CHAPTER 1. DEPENDABILITY AND FAU
- Page 26 and 27: 20 CHAPTER 1. DEPENDABILITY AND FAU
- Page 28 and 29: 22 CHAPTER 1. DEPENDABILITY AND FAU
- Page 30 and 31: 24 CHAPTER 1. DEPENDABILITY AND FAU
- Page 32 and 33: 26 CHAPTER 1. DEPENDABILITY AND FAU
- Page 34 and 35: 28 CHAPTER 1. DEPENDABILITY AND FAU
- Page 36 and 37: 30 CHAPTER 1. DEPENDABILITY AND FAU
- Page 38 and 39: 32 CHAPTER 2. METHODS TO DESIGN AND
- Page 40 and 41: 34 CHAPTER 2. METHODS TO DESIGN AND
- Page 42 and 43: 36 CHAPTER 2. METHODS TO DESIGN AND
- Page 44 and 45: 38 CHAPTER 2. METHODS TO DESIGN AND
- Page 46 and 47: 40 CHAPTER 2. METHODS TO DESIGN AND
- Page 48 and 49: 42 CHAPTER 2. METHODS TO DESIGN AND
- Page 50 and 51: 44 CHAPTER 2. METHODS TO DESIGN AND
- Page 52 and 53: 46 CHAPTER 2. METHODS TO DESIGN AND
- Page 54 and 55: 48 CHAPTER 2. METHODS TO DESIGN AND
- Page 56 and 57: 50 CHAPTER 2. METHODS TO DESIGN AND
- Page 59 and 60: Chapter 3 Design Methodology and Mo
- Page 61 and 62:
3.2. METHODOLOGY 55 further investi
- Page 63 and 64:
3.2. METHODOLOGY 57 software techni
- Page 65 and 66:
3.5. DESIGN CHALLENGES 59 3.5 Desig
- Page 67 and 68:
3.5. DESIGN CHALLENGES 61 Self-Chec
- Page 69 and 70:
3.6. MODEL SPECIFICATIONS AND GLOBA
- Page 71 and 72:
3.7. FUNCTIONAL IMPLEMENTATION 65 (
- Page 73 and 74:
3.7. FUNCTIONAL IMPLEMENTATION 67 n
- Page 75 and 76:
3.7. FUNCTIONAL IMPLEMENTATION 69 C
- Page 77 and 78:
3.7. FUNCTIONAL IMPLEMENTATION 71 C
- Page 79 and 80:
3.8. CONCLUSIONS 73 Free space Data
- Page 81 and 82:
3.8. CONCLUSIONS 75 CPI*/CPI 4 3.5
- Page 83 and 84:
Chapter 4 Design and Implementation
- Page 85 and 86:
4.1. PROCESSOR DESIGN STRATEGY 79 F
- Page 87 and 88:
4.2. PROPOSED ARCHITECTURE 81 2 Num
- Page 89 and 90:
4.3. HARDWARE MODEL OF THE STACK PR
- Page 91 and 92:
4.4. DESIGN CHALLENGES IN FT STACK
- Page 93 and 94:
4.5. SOLUTION-I: SELF CHECKING MECH
- Page 95 and 96:
4.5. SOLUTION-I: SELF CHECKING MECH
- Page 97 and 98:
4.5. SOLUTION-I: SELF CHECKING MECH
- Page 99 and 100:
4.5. SOLUTION-I: SELF CHECKING MECH
- Page 101 and 102:
4.6. SOLUTION-II: PERFORMANCE ASPEC
- Page 103 and 104:
4.6. SOLUTION-II: PERFORMANCE ASPEC
- Page 105 and 106:
4.7. IMPLEMENTATION RESULTS 99 LSB
- Page 107 and 108:
4.8. CONCLUSIONS 101 In the next ch
- Page 109 and 110:
Chapter 5 Design of a Self Checking
- Page 111 and 112:
5.2. PRINCIPLE OF THE TECHNIQUE 105
- Page 113 and 114:
5.3. JOURNAL ARCHITECTURE AND OPERA
- Page 115 and 116:
5.3. JOURNAL ARCHITECTURE AND OPERA
- Page 117 and 118:
5.3. JOURNAL ARCHITECTURE AND OPERA
- Page 119 and 120:
5.4. RISK OF DATA CONTAMINATION 113
- Page 121 and 122:
5.5. IMPLEMENTATION RESULTS 115 Err
- Page 123 and 124:
5.5. IMPLEMENTATION RESULTS 117 (a)
- Page 125 and 126:
5.6. CONCLUSIONS 119 5.5.2 Dynamic
- Page 127 and 128:
Chapter 6 Fault Tolerant Processor
- Page 129 and 130:
6.3. EXPERIMENTAL VALIDATION OF SEL
- Page 131 and 132:
6.3. EXPERIMENTAL VALIDATION OF SEL
- Page 133 and 134:
6.4. PERFORMANCE DEGRADATION DUE TO
- Page 135 and 136:
6.4. PERFORMANCE DEGRADATION DUE TO
- Page 137 and 138:
6.6. COMPARISON WITH LEON FT-3 131
- Page 139:
GENERAL CONCLUSION AND PROSPECTS 13
- Page 142 and 143:
136 GENERAL CONCLUSIONS amount of h
- Page 145 and 146:
Appendix A Canonical Stack Computer
- Page 147 and 148:
Appendix B Instruction Set of Stack
- Page 149 and 150:
Table B.2: Stack manipulation opera
- Page 151 and 152:
B.1. DATA OPERATIONS IN STACK PROCE
- Page 153 and 154:
Appendix C Instruction Set of Pipel
- Page 155 and 156:
Table C.2: Stack manipulation opera
- Page 157 and 158:
Table C.8: Instruction Codes and In
- Page 159 and 160:
Appendix D List of Acronyms ALU : A
- Page 161 and 162:
SoC : System on Chip. STAR : Self-T
- Page 163 and 164:
Appendix E List of publications •
- Page 165 and 166:
List of Figures 1.1 An alpha partic
- Page 167 and 168:
LIST OF FIGURES 161 4.15 Parity che
- Page 169 and 170:
List of Tables 1.1 Cost/hour for fa
- Page 171 and 172:
Bibliography [ACC + 93] J. Arlat, A
- Page 173 and 174:
BIBLIOGRAPHY 167 [EAWJ02] E. N. Eln
- Page 175 and 176:
BIBLIOGRAPHY 169 [KKS + 07] P. Kudv
- Page 177 and 178:
BIBLIOGRAPHY 171 [NMGT06] J. Nakano
- Page 179 and 180:
BIBLIOGRAPHY 173 [SMHW02] D. J Sori
- Page 181:
RÉSUMÉ Dans cette thèse, nous pr