Digitale Hardware/ Software-Systeme- P19 ppt

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

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

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

... dem Symbol P bezeichnet. Leider um- fasst diese Klasse nur wenige f ¨ ur die Verifikation von digitalen Hardware/Software- Systemen relevante Probleme. Andere Probleme lassen sich mit polynomiellen ... 4 · x − 4 · y = 0) C Algorithmen In diesem Kapitel werden wichtige Algorithmen zur Verifikation digitaler Systeme beschrieben. Zur Bewertung der Algorithmen ist es jedoch zun ¨ achst notwendig,

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

Ngày tải lên: 13/12/2013, 04:15

Ngày tải lên: 14/12/2013, 16:15