... 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...
... 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...
... parallel arbeitende Funktionseinheiten. Auf diesen Funktionseinheiten k
¨
on-
nen Instruktionen potentiell parallel abgearbeitet werden. H
¨
angt allerdings eine In-
struktion von einer anderen
... entsprechen bzw. das Ge-
genbeispiel genau genug ist, so dass es auch in einem gefertigten System poten-
tiell gilt. Beispielsweise kann eine obere Schranke an die Latenz beliebig hoch
gesetzt werden,
... 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...
... 2008, Article ID 731830, 2 pages
doi:10.1155/2008/731830
Editorial
Reconfigurable Computing and Hardware/Software Codesign
Toomas P. Plaks,
1
Marco D. Santambrogio,
2
and Donatella Sciuto
2
1
University ... in
practical implementations to meet these requirements.
The special issue on “Reconfigurable Computing and
Hardware/Software Codesign” addresses the advances in re-
configurable computing ar...