Digitale Hardware/ Software-Systeme- P1 doc

[...]... Einleitung Dieses einleitende Kapitel vermittelt einen Einblick, warum die Verifikation ein unverzichtbarer Bestandteil des Entwurfs von digitalen Hardware/Software-Systemen darstellt Dabei werden die wesentlichen Aspekte der Verifikation vorgestellt 1.1 Motivation Digitale Hardware/Software-Systeme sind aus der heutigen Gesellschaft nicht mehr wegzudenken Oftmals treten sie in Form sog eingebetteter Systeme... Komplexit¨ t der Ana wendungen sehen: Ein prominentes Beispiel sind Fahrerassistenzsysteme in heutigen Fahrzeugen mit gehobener Ausstattung Neben ABS (Antiblockiersystem) und ESP C Haubelt, J Teich, Digitale Hardware/Software-Systeme, eXamen.press, DOI 10.1007/978-3-642-05356-6 1, c Springer-Verlag Berlin Heidelberg 2010 2 1 Einleitung (elektronisches Stabilit¨ tsprogramm) geh¨ ren heutzutage Spur- und... eines Systems ausfallen kann Genau dies wird deshalb im Folgenden genauer betrachtet Hierzu wird zun¨ chst a die Entwicklung eines eingebetteten Systems n¨ her untersucht Die Entwicklung eia nes digitalen Hardware/Software-Systems (siehe Abb 1.3) beginnt mit der Produktidee Nach der Anforderungsanalyse entsteht eine Spezifikation, welche die Grundlage f¨ r den Entwurfsprozess bildet Die Umsetzung der... gung stellen Somit ist die Verf¨ gbarkeit reduziert a u u Damit steht auch fest, dass eine Forderung nach allumfassender Qualit¨ t unsinnig ist a Wie im Fall des Entwurfs und der Optimierung von digitalen Hardware/SoftwareSystemen [426], gibt es im Allgemeinen nicht eine optimale L¨ sung, sondern eine o Menge sog Pareto-optimaler L¨ sungen o o Qualit¨ tsmerkmale, und somit die Eigenschaften eines Produktes,... beispielsweise, wenn ein fehlerhaftes Synthesewerkzeug eingesetzt wird oder wenn ein Entwickler die Spezifikation falsch interpretiert Unter Verifikation versteht man den Prozess, der den korrekten Entwurf eines digitalen Systems bez¨ glich einer Spezifikation nachu weist Dies umfasst zum einen die funktionale Korrektheit des Systems Andererseits kann es auch durch Fehler, z B im zeitlichen Verhalten, zu schwerwiegenden . Verifikation. Dieses Lehrbuch widmet sich der Verifikation digitaler Hardware/Software- Systeme. Es ist als zweiter Band zu dem Buch ” Digitale Hardware/Software-Systeme – Synthese und Optimierung“. Bestandteil des Entwurfs von digitalen Hardware/Software-Systemen darstellt. Dabei werden die wesentlichen Aspekte der Verifikation vorgestellt. 1.1 Motivation Digitale Hardware/Software-Systeme. B ¨ ande dient deshalb das Doppeldachmodell, welches den ideali- sierten Entwurfsfluss f ¨ ur digitale Hardware/Software-Systeme darstellt. In diesem Band wird ein Doppeldachmodell f¨ur den Verifikationsprozess