Grundbegriffe der Firmwareverifikation

Zusammenfassung

In diesem Kapitel führen wir in geraffter Form in die grundlegenden Begriffsbildungen ein, die im Rahmen dieser Arbeit verwendet werden. Sprechweisen, Terminologie und begriffliche Abklärung für die Bereiche Rechnerarchitektur, insbesondere Mikroprogrammierung und mikroprogrammierte Rechnerarchitekturen, sowie Grundbegriffe zu ihrer Verifikation werden in aufeinanderfolgenden Abschnitten eingeführt. Dieses Kapitel dient zur Abklärung der dieser Arbeit zu Grunde liegenden Begriffe und zur informellen Darstellung der in dieser Arbeit als Beispiel verwendeten Architekturen der NOVA 1200 [56] und der MICRODATA 1600 [117]. Für eine ausführlichere Behandlung der Konzepte der Mikroprogrammierung und grundlegender Begriffe der Logik verweisen wir auf entsprechende Lehrbücher (z.B. [8], [3] bzw. [144], [137]).