Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Front Cover
Springer, 1987 - Computer architecture - 327 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Einleitung
1
Grundbegriffe der Firmwareverifikation
7
Entwurf mikroprogrammierter Rechnerarchitekturen
26
Copyright

13 other sections not shown

Other editions - View all

Common terms and phrases

AADL Abbildung Abschnitt accu accumulator add hex Adressierungsart Akkumulators Aktivierung Architektur Ausführung Ausgabevariablen Auswertung auxiliary auxiliarysinks axiomatische Spezifikation Axiomatisierung base register address Befehls Befehlswortes Beispiel Beschreibung Beweisregel bit-slice blockdiagram buffer case codeof Computer conflictcond(a,a Coroutine Datenkonflikte definiert defining equation Definition Deklaration denotation displacement eise faise Emulation Emulators endarray endcase endformat entry Entwurf Feld file-bank-select file-flag Firmware folgenden formale Funktion Gastarchitektur Generierung hex C6 hex FF Hilfsvariablen Hoare-Kalkül Implementierung instructionreg instructionword Instruktionswortes Interferenzfreiheit interrupt interrupt-on Kodierung konfliktfrei Korrektheit main makearray index memory memory[2 memory[A-register Menge Microcode Microprogramming Mikro Mikroarchitektur Mikrooperationen Mikroprogrammen modification-enable modify-register modify-register<5 Moduln move-data.accu move-data.index Nachbedingung NOVA operand-control Operation outputlocations parallelen Parameter pattern prädikatenlogische primary programcounter Prozedur Rechnerarchitektur RWTH Aachen S*-Familie sämtliche Seiteneffekte semantics sequence sideeffects somit sources Speicher Speicherabbildung Speicherausdrücke Speicherelemente statischen statischen Analyse stcycle store sub(main sub(time Substitution T-register test tion true post unfoldtype Vereinfachungsregeln Verifikation Verwendung Vorbedingung zero Zielarchitektur

Bibliographic information