Digitale Hardware/ Software-Systeme- P13 docx

... 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 ... dieser Stelle lohnt. Beispiel 7.1.1. Betrachtet wird das folgende Assemblerprogramm f ¨ ur einen digitalen Signalprozessor aus [123]: 1 msm dx, a0, a1 2 bge OK 3 add dx, cx 4 OK: mov (x0++1),...

Ngày tải lên: 02/07/2014, 14: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

... 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

... Verfahren zur Verifikation des Zeitverhaltens auf Logik- und Architekturebene. C. Haubelt, J. Teich, Digitale Hardware/Software-Systeme, eXamen.press, DOI 10.1007/978-3-642-05356-6 6, c  Springer-Verlag

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

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

Ngày tải lên: 25/09/2012, 11:16