+612 9045 4394
 
CHECKOUT
Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen : Informatik-Fachberichte - Werner Damm

Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen

Informatik-Fachberichte

Paperback

Published: 23rd September 1987
Language: German
Ships: 15 business days
15 business days
$105.64
or 4 easy payments of $26.41 with Learn more

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 geeigneten h�heren Mikroprogrammiersprache, sowie formale Techniken zur �berpr�fung der Korrektheit des Entwurfs. Damit wird erstmals eine Firmwareverifikationsmethode vorgestellt, die sowohl f�r beliebige Mikroarchitekturen einsetzbar ist als auch eine inkrementelle und modulare Verifikation des Entwurfs erm�glicht. Besonderes Gewicht wurde sowohl auf eine pr�zise mathematische Durchdringung des Firmwareentwurfs als auch auf die praktische Anwendbarkeit der Entwurfsmethode gelegt. S�mtliche Konzepte und Techniken werden an Hand eines Emulationsbeispiels illustriert. Der Text enth�lt ein einf�hrendes Kapitel, das sowohl die Grundbegriffe aus dem Bereich der Mikroprogrammierung als auch die verwendeten mathematischen Begriffsbildungen zusammenfa�t. Die beiden Hauptteile behandeln jeweils den Entwurf sowie die Verifikationsmethodik. In Anh�ngen werden ausf�hrliche Entwurfs- und Verifikationsbeispiele gegeben. Das Buch bietet sowohl dem Entwickler gr��erer Mikroprogramme als auch dem Ersteller von Firmwareentwicklungswerkzeugen einen geeigneten Rahmen zur Beherrschung der Komplexit�t von Mikroarchitekturen. F�r Studenten der Informatik veranschaulicht der Text die Relevanz mathematischer Modellbildungen in einem konkreten Anwendungesgebiet.

ISBN: 9783540183204
ISBN-10: 3540183205
Series: Informatik-Fachberichte
Audience: General
Format: Paperback
Language: German
Number Of Pages: 327
Published: 23rd September 1987
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 24.41 x 16.99  x 1.8
Weight (kg): 0.54