| Előszó | 9 |
| Bevezetés | 11 |
| Megbízhatósági eljárások | 13 |
| Maszkolóredundancia | 13 |
| Tartalékredundancia | 14 |
| A megbízhatóság egyéb vonatkozásai | 15 |
| Hibadetektáló kódok és önellenőrző áramkörök | 15 |
| Rövid irodalmi áttekintés | 16 |
| Hibadetektáló kódok | 19 |
| Paritás-ellenőrző kódok | 20 |
| A független hibamodell | 21 |
| Paritás-ellenőrzés és generátormátrix | 23 |
| Bináris kódok | 26 |
| A b-szomszédos kódok | 29 |
| Ciklikus kódok | 31 |
| Hibajavítás | 37 |
| Aritmetikai kódok | 39 |
| Az aritmetikai hibamodell | 39 |
| Az aritmetikai kódok típusai | 40 |
| Alacsony költségű kódok | 43 |
| Egyéb kódok | 49 |
| Összegellenőrző kódok | 49 |
| Az n-ből m kódok | 50 |
| Az irodalmi hivatkozások áttekintése | 52 |
| Feladatok | 52 |
| Önellenőrző áramkörök | 55 |
| Definíciók | 56 |
| Teljesen önellenőrző áramkörök és hálózatok | 61 |
| Egyszerű példák | 61 |
| Átalakító áramkörök | 62 |
| Teljesen önellenőrző hálózatok | 64 |
| Teljesen önellenőrző vizsgálók | 65 |
| Általános cél | 65 |
| Az n-ből m kódok | 68 |
| Szisztematikus kódok | 68 |
| Bináris paritás-ellenőrző kódok | 69 |
| Ciklikus kódok | 70 |
| Maradékkódok | 70 |
| Összegellenőrző kódok | 73 |
| Részlegesen önellenőrző kódok | 73 |
| Az 1. típusú hálózatok | 73 |
| A 2. típusú hálózatok | 76 |
| A 3. típusú hálózatok | 77 |
| A csak öntesztelő áramkörök és hálózatok | 79 |
| Az önellenőrző tulajdonságok igazolása | 82 |
| Meghibásodásbiztonság | 82 |
| Öntesztelés | 83 |
| Byte-szelet áramkörök | 84 |
| Önellenőrző sorrendi áramkörök | 86 |
| Önellenőrző órajel-ellenőrzők | 90 |
| Az irodalmi hivatkozások áttekintése | 93 |
| Feladatok | 94 |
| Adatutak és tárak | 97 |
| Általános elvek | 97 |
| A hibadetektáló kódok megválasztása | 105 |
| A processzorba és a tárakba alkalmazott kódok közötti illesztés | 110 |
| Az adatkiválasztás és a tárcímzés szempontjai | 113 |
| Az irodalmi hivatkozások áttekintése | 115 |
| Feladatok | 115 |
| Aritmetikai műveletek | 117 |
| Aritmetikai kódolás | 117 |
| AN kódok | 117 |
| Maradékkódok | 118 |
| Ellenőrzőszimbólum-előrejelzés | 121 |
| Bináris paritás-ellenőrző kódok | 122 |
| Összegellenőrző kódok | 125 |
| Átvitel-előrejelző összeadók | 131 |
| Az irodalmi hivatkozások áttekintése | 132 |
| Feladatok | 132 |
| Logikai műveletek | 135 |
| Kettőzés és paritás-előrejelzés | 136 |
| Jelzésveszteség-mentes kettőzött logikai egységek | 138 |
| Ellenőrzés | 140 |
| Részlegesen önellenőrző hálózatok | 141 |
| Az irodalmi hivatkozások áttekintése | 145 |
| Feladatok | 145 |
| Mikroprogramozott vezérlőegységek | 147 |
| Mikroprogram-ütemezés és -vezérlés | 148 |
| Mikroprogram-vezérlő jelek | 149 |
| Dekódolók | 151 |
| Operandusok előállítása utasításokból | 154 |
| Állapotregiszterek | 156 |
| Feltételes ugrás és elágazás | 158 |
| Kétszerezett mikroprogram-ütemező | 159 |
| Az irodalmi hivatkozások áttekintése | 161 |
| Feladatok | 162 |
| Önellenőrző processzor tervezése | 163 |
| A célgép | 164 |
| A processzor szervezése | 167 |
| Adatutak | 169 |
| A 4-bites szelet tervezése | 170 |
| Az ellenőrző-szimbólum beállítása | 171 |
| A feltételkód előállítása | 174 |
| Mikroprogramtár | 175 |
| Mikroprogram-ütemező | 177 |
| A tár és a be-, ill. kimeneti egység | 180 |
| A tár és a be-, ill. kimeneti sín | 180 |
| A főtártömb | 181 |
| A be-, ill. kimeneti egységek és a vezérlők | 183 |
| Ellenőrzőegységek | 183 |
| Az ellenőrzés költségei | 185 |
| Adatutak | 186 |
| Mikroprogramtár | 186 |
| Mikroprogram-ütemező | 187 |
| A mikroprogram végrehajtása | 188 |
| Ellenőrzők | 188 |
| Az irodalmi hivatkozások áttekintése | 189 |
| Függelék - matematikai összefoglalás | 191 |
| Csoportok | 191 |
| Véges terek | 192 |
| Vektorterek | 194 |
| Mátrixok | 195 |
| Feladatok | 196 |
| Irodalom | 199 |
| Tárgymutató | 206 |
Folytatás Microsoft-tal