Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen (German, Paperback, 1987 ed.)

Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sAmtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer geeigneten hAheren Mikroprogrammiersprache, sowie formale Techniken zur AoeberprA1/4fung der Korrektheit des Entwurfs. Damit wird erstmals eine Firmwareverifikationsmethode vorgestellt, die sowohl fA1/4r beliebige Mikroarchitekturen einsetzbar ist als auch eine inkrementelle und modulare Verifikation des Entwurfs ermAglicht. Besonderes Gewicht wurde sowohl auf eine prAzise mathematische Durchdringung des Firmwareentwurfs als auch auf die praktische Anwendbarkeit der Entwurfsmethode gelegt. SAmtliche Konzepte und Techniken werden an Hand eines Emulationsbeispiels illustriert. Der Text enthAlt ein einfA1/4hrendes Kapitel, das sowohl die Grundbegriffe aus dem Bereich der Mikroprogrammierung als auch die verwendeten mathematischen Begriffsbildungen zusammenfaAt. Die beiden Hauptteile behandeln jeweils den Entwurf sowie die Verifikationsmethodik. In AnhAngen werden ausfA1/4hrliche Entwurfs- und Verifikationsbeispiele gegeben. Das Buch bietet sowohl dem Entwickler grAAerer Mikroprogramme als auch dem Ersteller von Firmwareentwicklungswerkzeugen einen geeigneten Rahmen zur Beherrschung der KomplexitAt von Mikroarchitekturen. FA1/4r Studenten der Informatik veranschaulicht der Text die Relevanz mathematischer Modellbildungen in einem konkreten Anwendungesgebiet.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Release date:	September 1987
First published:	September 1987
Authors:	Werner Damm
Dimensions:	244 x 170 x 18mm (L x W x T)
Format:	Paperback - Trade
Pages:	327
Edition:	1987 ed.
ISBN-13:	978-3-540-18320-4
Languages:	German
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems Promotions
LSN:	3-540-18320-5
Barcode:	9783540183204

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!