Stock image for illustration purposes only - book cover, edition or condition may vary.
Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen
Werner Damm
€ 70.02
FREE Delivery in Ireland
Description for Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UYD; UYF; UYQE. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 540.
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 ... 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 ... Read more
Product Details
Format
Paperback
Publication date
1987
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Language
German
Condition
New
Number of Pages
327
Place of Publication
Berlin, Germany
ISBN
9783540183204
SKU
V9783540183204
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen