Digitale Hardware/ Software-Systeme- P28 doc

... Entscheidungs- C Algorithmen In diesem Kapitel werden wichtige Algorithmen zur Verifikation digitaler Systeme beschrieben. Zur Bewertung der Algorithmen ist es jedoch zun ¨ achst notwendig, die Probleme, auf welche die Algorithmen ... dem Symbol P bezeichnet. Leider um- fasst diese Klasse nur wenige f ¨ ur die Verifikation von digitalen Hardware/Software- Systemen relevante Probleme. Andere Pro...

Ngày tải lên: 03/07/2014, 08:20

... Systemen beschreiben. So kann 2 Spezifikation digitaler Systeme Dieses Kapitel stellt wichtige Ans ¨ atze zur formalen und ausf ¨ uhrbaren Spezifikation digitaler Hardware/Software-Systeme vor. 2.1 Wie ... in C. Haubelt, J. Teich, Digitale Hardware/Software-Systeme, eXamen.press, DOI 10.1007/978-3-642-05356-6 2, c  Springer-Verlag Berlin Heidelberg 2010 42 2 Spezifikation digitaler Systeme al...

Ngày tải lên: 02/07/2014, 14:20

... Ab- laufplanungsverfahren auf die Antwortzeit von Prozessen betrachtet. C. Haubelt, J. Teich, Digitale Hardware/Software-Systeme, eXamen.press, DOI 10.1007/978-3-642-05356-6 7, c  Springer-Verlag ... bitakkurate Repr ¨ asentation der Datentypen verzichtet. Da die Mikroar- chitektur des Prozessors jedoch auf endlichen Zahlendarstellungen arbeitet, kann es passieren, dass zwei Assemblerprogr...

Ngày tải lên: 02/07/2014, 14:20

... Bestandteil des Entwurfs von digitalen Hardware/Software-Systemen darstellt. Dabei werden die wesentlichen Aspekte der Verifikation vorgestellt. 1.1 Motivation Digitale Hardware/Software-Systeme ... 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 Optimierun...

Ngày tải lên: 03/07/2014, 08:20

... folgt aus: generator: 1 generator: 2 suv: 1 suv: 2 generator: 3 generator: 4 64 2 Spezifikation digitaler Systeme Die Verifikationsumgebung enth ¨ alt neben dem Modul SUV, welches verifiziert werden ... int count) 18 : sc_module(name), max(count) { 19 SC_THREAD(produce); 20 } 21 }; 62 2 Spezifikation digitaler Systeme zur Verf ¨ ugung. Im Bereich der Hardware-Modellierung besitzen insbesondere Po...

Ngày tải lên: 03/07/2014, 08:20

... Antwortzeit, ein minimaler Durchsatz, eine minimale MTTF (engl. Mean Ti- C. Haubelt, J. Teich, Digitale Hardware/Software-Systeme, eXamen.press, DOI 10.1007/978-3-642-05356-6 5, c  Springer-Verlag ... Folgenden genauer beschrieben. Zum Ab- schluss wird noch ein zentrales Problem bei der Verifikation digitaler Systeme, die sich als Petri-Netz modellieren lassen, betrachtet: Durch die potenti...

Ngày tải lên: 03/07/2014, 08:20

... Durchsatzes Eine wichtige Eigenschaft datenflussdominanter Systeme, wie beispielsweise Sys- teme der digitalen Signalverarbeitung, Netzwerk-Controller und Multi-Media-Sys- teme, ist der Durchsatz,

Ngày tải lên: 03/07/2014, 08:20

... Erreichbarkeitsmenge f ¨ ur jeden Zeitschritt explizit bestimmt. Ein solches Vorgehen schr ¨ ankt jedoch das Einsatzge- biet struktureller Pr ¨ ufungsverfahren auf einen einzelnen Zeitschritt ein.

Ngày tải lên: 03/07/2014, 08:20

... Programme ist das Problem der ¨ Aquivalenzpr ¨ ufung nicht entscheid- bar. Per Simulation kann jedoch ein Programm mit einem Referenzprogramm vergli- chen werden. Dabei ist das Ziel nicht, die ¨ Aquivalenz

Ngày tải lên: 03/07/2014, 08:20

... D ONLIN,A.:Transaction Level Modeling: Flows and Use Models.In:Proceedings of the Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seiten 75–80, 2004. 134. D RECHSLER, ... GLESNER: Model Checking SystemC Designs Using Timed Automata.In:Proceedings of the Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seiten 131–136, 2008. 220. H IND,M.:P...

Ngày tải lên: 03/07/2014, 08:20