Buch

---

Übersicht

---

Verlag	:	Springer Berlin
Buchreihe	:	Informatik-Fachberichte (Bd. 146)
Sprache	:	Deutsch
Erschienen	:	23. 09. 1987
Seiten	:	327
Einband	:	Kartoniert
Höhe	:	244 mm
Breite	:	170 mm
Gewicht	:	587 g
ISBN	:	9783540183204

---

Inhaltsverzeichnis

---

1 Einleitung.- 2 Grundbegriffe der Firmwareverifikation.- 2.1 Ebenen einer Rechnerarchitektur.- 2.2 Mikroprogrammierung.- 2.3 Mikroprogrammierte Rechnerarchitekturen.- 2.4 Grundlagen der axiomatischen Verifikation von Firmware.- 3 Entwurf mikroprogrammierter Rechnerarchitekturen.- 3.1 Formale Beschreibung von Rechnerarchitekturen.- 3.2 Die S*-Familie höherer Mikroprogrammiersprachen.- 3.3 Hierarchischer Entwurf von Rechnerarchitekturen.- 4 Verifikation mikroprogrammierter Rechnerarchitekturen.- 4.1 Die Generierung der axiomatischen Spezifikation einer Operation.- 4.2 Eine axiomatische Definition der S*-Familie.- Zusammenfassung.- Danksagung.- Fußnoten.- Al Anhang 1.- A1.1 Spezifikation der Makroarchitektur der NOVA 1200.- A1.2 Formale Beschreibung der Mikroarchitektur der MICRODATA 1600.- A1.3 Definition der Zwischenarchitektur.- A2 Anhang 2.- Die Syntax von S*.- A3 Anhang 3.- Konfliktanalyse zwischen dynamischen Speicherausdrücken.- A4 Anhang4 : Ein Beispielbeweis.- A4.1 Diskussion des Beweises.- A4.2 Schematische Darstellung des Beweises.- A4.3 Berechnung der schwächsten Vorbedingung.- A4.4 Einige Vereinfachungsregeln.- Stichwortverzeichnis.- Verzeichnis der Abbildungen.

Deine Buchhandlung

---