Digitale Hardware/ Software-Systeme- P1 potx

[...]... 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... gliche der zu optimierenden Qualit¨ tsmaße aufgefasst weru a den Die Aufgaben und Methoden zum Entwurf und zur Optimierung digitaler Hardware/Software-Systeme sind ausf¨ hrlich in [426] dargestellt u 1.2.3 Das Doppeldachmodell des Verifikationsprozesses Wie im Entwurfsprozess digitaler Hardware/Software-Systeme, muss auch im Verifikationsprozess die Verifikation von Hardware, von Software und von Systemen... diesen im Entwurfsprozess ber¨ cksichtigt werden Der idealisierte Entwurf f¨ r digiu u tale Hardware/Software-Systeme ist in Abb 1.10 als Doppeldachmodell dargestellt [425, 426] System Modul Architektur Spezifikation Logik Block Implementierung Software Hardware Abb 1.10 Doppeldachmodell f¨ r den Entwurf von digitalen Hardware/Software-Systemen u Die linke Seite des Daches entspricht dem Software-Entwurfsprozess,... 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,... Rekonvergenzmodell (siehe Abb 1.6) stellt sowohl den Entwurf als auch die Verifikation jeweils als einen einzelnen Schritt dar Dies ist f¨ r heutige Systeme nicht u realistisch Die Komplexit¨ t heutiger digitaler Hardware/Software-Systeme verlangt, a dass man einen hierarchischen Entwurfsprozess einsetzt Dies bedeutet, dass man, etwa nach einem Divide&Conquer-Ansatz, die Systemkomplexit¨ t zerlegt und den... Software-Entwurf und deren Verifikationsphasen und Interaktionen unterscheiden k¨ nnen Aus diesem Grund werden im folgeno den Abschnitt Modelle f¨ r den Entwurfs- und den Verifikationsprozess von digitalen u Hardware/Software-Systemen vorgestellt 1.2.2 Das Doppeldachmodell des Entwurfsprozesses ¨ Die Verifikation eines Systems beschreibt die Uberpr¨ fung der korrekten Implemenu tierung einer Spezifikation... 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... und die daraus resultie- 1.2 Der Verifikationsprozess 19 System Modul Architektur Spezifikation Logik Block Implementierung Software Hardware Abb 1.13 Doppeldachmodell f¨ r den Verifikationsprozess digitaler Hardware/Softwareu Systeme renden Transformationen, die gew¨ nschte Funktion, beispielsweise eines Multipleu xers oder Volladdierers, nicht verf¨ lscht hat Auf h¨ herer Abstraktionsebene (der a o... Verbindungen Beispiele hierf¨ r sind verf¨ gbare Prozessoren mit deren Instruktionsu u satz, Speicher und Prozessorbusse Auf Systemebene sind typische Plattformmodelle beispielsweise Einprozessorsysteme, Hardware/Software-Prozessor/CoprozessorSysteme, homogene, symmetrische oder heterogene, asymmetrische Multiprozessorsysteme [466] Neben dem Plattformmodell existieren in den Anforderungen dar¨ ber u hinaus . 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