Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer g...

Full description

Main Author: Damm, Werner
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:German
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1987, 1987
Edition:1st ed. 1987
Series:Informatik-Fachberichte
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Ein Beisp