Digitale Hardware/ Software-Systeme- P9 ppt

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

... kann eine ¨ Aquivalenzpr ¨ ufung zwischen Spezifikation und Implementierung durchgef ¨ uhrt C. Haubelt, J. Teich, Digitale Hardware/Software-Systeme, eXamen.press, DOI 10.1007/978-3-642-05356-6 3, c  Springer-Verlag ... Einfluss der Abstraktion auf die Beobachtbarkeit und Steuerbarkeit von Fehlern 88 2 Spezifikation digitaler Systeme d. h. dass die Eigenschaft eine Zusicherung ist, oder diese...

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

... ist dabei eine Hardware-Beschreibung auf Architekturebene. Es handelt sich hierbei also um die Hardware/Software-Schnittstelle des Prozessors. Die Instruktionssatzarchitektur kann auch als eine

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

... zunehmenden Maße mit der Systembeschrei- bungssprache SystemC beschrieben. C. Haubelt, J. Teich, Digitale Hardware/Software-Systeme, eXamen.press, DOI 10.1007/978-3-642-05356-6 8, c  Springer-Verlag ... symbolischen CTL-Modellpr ¨ ufung von SysteMoC-Modellen. Zun ¨ achst wird aus der Spezifikation eines digitalen Systems das SysteMoC-Verhaltensmodell mittels eines Parsers in eine RSM ¨ uber...

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

... Work- shop on System Design Automation (SDA), Seiten 9–22, 2000. 426. T EICH, J. und C. HAUBE LT: Digitale Hardware/Software-Systeme – Synthese und Op- timierung. Springer, Berlin, Heidelberg, 2007. ... Seiten 66–72, 2004. 271. K ROENING, D. und N. SHARYGINA: Formal Verification of SystemC by Automatic Hardware/Software Partitioning.In:Proceedings of the International Conference on Formal Me...

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

... zur Optimierung digitaler Hardware/Software-Systeme sind ausf ¨ uhrlich in [426] dargestellt. 1.2.3 Das Doppeldachmodell des Verifikationsprozesses Wie im Entwurfsprozess digitaler Hardware/Software-Systeme, ... Schritt dar. Dies ist f ¨ ur heutige Systeme nicht realistisch. Die Komplexit ¨ at heutiger digitaler Hardware/Software-Systeme verlangt, dass man einen hierarchischen Entwurfsprozess...

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

... Bedeutung, wenn das Petri-Netz 2 Spezifikation digitaler Systeme Dieses Kapitel stellt wichtige Ans ¨ atze zur formalen und ausf ¨ uhrbaren Spezifikation digitaler Hardware/Software-Systeme vor. 2.1 Wie ... meisten Entwicklungen mit einer informalen Spezifikation. Diese kann in C. Haubelt, J. Teich, Digitale Hardware/Software-Systeme, eXamen.press, DOI 10.1007/978-3-642-05356-6 2, c  Springer...

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