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 ...
Read 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.
Read Less
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
1987
Language:
German
Alibris ID:
17987879352
Shipping Options:
Standard Shipping: $4.74
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Contains: Illustrations, black & white. Informatik-Fachberichte . VIII, 327 S. 1 Abb. Intended for professional and scholarly audience. Language: german-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
1987
Language:
German
Alibris ID:
12470546801
Shipping Options:
Standard Shipping: $4.74
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Text in German. Contains: Illustrations, black & white. Informatik-Fachberichte . VIII, 327 S. 1 Abb. Intended for professional and scholarly audience.