Digitale Hardware/ Software-Systeme- P1 potx
... 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: 02/07/2014, 14:20
Digitale Hardware/ Software-Systeme- P3 pot
... E ϕ U ψ : ϕ ϕψ ψψψ ϕ Abb. 2.17. Semantik der acht temporallogischen Operatoren in CTL [272] 74 2 Spezifikation digitaler Systeme a) b) bcs 2 s 0 ab cs 1 ab cbc ab c c cccbc Abb. 2.14. a) Temporale Struktur und ... Zustand s 0 besitzt lediglich einen eingehenden Zustands ¨ ubergang mit Eingabesymbol i 0 .Aus 52 2 Spezifikation digitaler Systeme 33uxdxyudxxdx x 1 adx y y 1 c u u 1 Abb. 2.6. Daten...
Ngày tải lên: 02/07/2014, 14:20
Digitale Hardware/ Software-Systeme- P11 potx
... parallel arbeitende Funktionseinheiten. Auf diesen Funktionseinheiten k ¨ on- nen Instruktionen potentiell parallel abgearbeitet werden. H ¨ angt allerdings eine In- struktion von einer anderen
Ngày tải lên: 02/07/2014, 14:20
Digitale Hardware/ Software-Systeme- P18 pot
... Partitionsbl ¨ ocke. Die Men- ge aller Teilmengen einer Menge S wird als Potenzmenge 2 S bezeichnet. Die leere Menge ∅ ist Element der Potenzmenge jeder beliebigen Menge S,d.h.∅∈2 S . Die Menge der reellen ... mit A ×B, ist die Menge von Paaren (a, b), wobei a ∈ A und b ∈ B gilt. C. Haubelt, J. Teich, Digitale Hardware/Software-Systeme, eXamen.press, DOI 10.1007/978-3-642-05356-6, c Sprin...
Ngày tải lên: 02/07/2014, 14:20
Digitale Hardware/ Software-Systeme- P12 docx
... Durchsatzes Eine wichtige Eigenschaft datenflussdominanter Systeme, wie beispielsweise Sys- teme der digitalen Signalverarbeitung, Netzwerk-Controller und Multi-Media-Sys- teme, ist der Durchsatz, ... 0 + 1} max{2 + 2, −2 + 3} max{2 − 1,−2 + 1} = 31 41 Schließlich beschreibe A ⊗ k die k-te Potenzmenge der Matrix A, wobei A ⊗ 1 := A und A ⊗ k := A ⊗ k−1 ⊗ A ist. Das Gleichungssystem in
Ngày tải lên: 03/07/2014, 08:20
Digitale Hardware/ Software-Systeme- P13 pot
... 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
Digitale Hardware/ Software-Systeme- P17 pot
... parallel arbeitende Funktionseinheiten. Auf diesen Funktionseinheiten k ¨ on- nen Instruktionen potentiell parallel abgearbeitet werden. H ¨ angt allerdings eine In- struktion von einer anderen
Ngày tải lên: 03/07/2014, 08:20
Digitale Hardware/ Software-Systeme- P24 potx
... diese bei einer genauen Betrachtung nicht mehr in Frage. Die potentiell unbeschr ¨ ankten FIFO-Kan ¨ ale im SysteMoC-Modell, die einen potentiell unendlichen Zustandsraum aufspannen, las- sen sich ... pr ¨ uft funktionale Eigenschaften direkt auf dem Verhaltensmodell, welches unabh ¨ angig von der Hardware/Software-Partitionierung ist. Allerdings liegen bereits oft SystemC-Module vor, die ein...
Ngày tải lên: 03/07/2014, 08:20