138
2 Spezifikation und Modellierung
2.20: Die CSA-Theorie beschreibt 2, 3 und 4 Stärken von Logik, die 4, 7 und
10 Logikwerten entsprechen. Wie viele Stärken und Werte werden in IEEE 1164
verwendet? Erstellen Sie ein Diagramm, das die Teilordnung der Werte aus IEEE
1164 zeigt! Welche der Werte aus IEEE 1164 sind in dem Diagramm nicht in der
Teilordnung enthalten, was bedeuten diese Werte?
2.21: Gegeben sei ein Bus wie in Abb. 2.78. Welche der Werte aus IEEE 1164 liegen
Bus
Masse
2
2
2
f
f
1
1
f
1
f
&
&
&
&
PD1
PU1
PU2
PD2
VDD
ena
ena
Abb. 2.78 Von Tri-State-Ausgängen getriebener Bus
auf dem Bus an, wenn beide „enable”-Eingänge auf 0 liegen (ena1 = ena2 =0)?
Welche der Werte aus IEEE 1164 liegen auf dem Bus an, wenn ena1=0, ena2=1
und f 2=1?
2.22: Welche der folgenden Schaltungen kann mit IEEE 1164 modelliert werden:
komplementäre CMOS-Ausgänge, Ausgänge mit Verarmungstransistor (engl. depletion transistor), Tristate-Ausgänge, Vorladen von Bussen (wenn ebenfalls Verarmungstransistoren verwendet werden)?
2.23: Welche der folgenden Sprachen verwenden asynchronen Nachrichtenaustausch: StateCharts, SDL, VHDL, CSP, Petrinetze, MPI?
2.24: Welche der folgenden Sprachen verwenden einen Broadcast-Mechanismus zur
Aktualisierung von Variablen: StateCharts, SDL, Petrinetze?
2.25: Welche der folgenden Diagrammarten werden von UML unterstützt: Sequenzdiagramme, Y-Diagramme, Anwendungsfälle, Aktivitätsdiagramme, Schaltpläne?
2.26: Tragen Sie in der nachfolgenden Tabelle Berechnungsmodelle der Komponenten und Kommunikationsmodelle in der linken Spalte ein. Anschließend tragen Sie
bitte so viele UML-Diagramme wie möglich im Rest der Tabelle ein.
2 Spezifikation und Modellierung
2.20: Die CSA-Theorie beschreibt 2, 3 und 4 Stärken von Logik, die 4, 7 und
10 Logikwerten entsprechen. Wie viele Stärken und Werte werden in IEEE 1164
verwendet? Erstellen Sie ein Diagramm, das die Teilordnung der Werte aus IEEE
1164 zeigt! Welche der Werte aus IEEE 1164 sind in dem Diagramm nicht in der
Teilordnung enthalten, was bedeuten diese Werte?
2.21: Gegeben sei ein Bus wie in Abb. 2.78. Welche der Werte aus IEEE 1164 liegen
Bus
Masse
2
2
2
f
f
1
1
f
1
f
&
&
&
&
PD1
PU1
PU2
PD2
VDD
ena
ena
Abb. 2.78 Von Tri-State-Ausgängen getriebener Bus
auf dem Bus an, wenn beide „enable”-Eingänge auf 0 liegen (ena1 = ena2 =0)?
Welche der Werte aus IEEE 1164 liegen auf dem Bus an, wenn ena1=0, ena2=1
und f 2=1?
2.22: Welche der folgenden Schaltungen kann mit IEEE 1164 modelliert werden:
komplementäre CMOS-Ausgänge, Ausgänge mit Verarmungstransistor (engl. depletion transistor), Tristate-Ausgänge, Vorladen von Bussen (wenn ebenfalls Verarmungstransistoren verwendet werden)?
2.23: Welche der folgenden Sprachen verwenden asynchronen Nachrichtenaustausch: StateCharts, SDL, VHDL, CSP, Petrinetze, MPI?
2.24: Welche der folgenden Sprachen verwenden einen Broadcast-Mechanismus zur
Aktualisierung von Variablen: StateCharts, SDL, Petrinetze?
2.25: Welche der folgenden Diagrammarten werden von UML unterstützt: Sequenzdiagramme, Y-Diagramme, Anwendungsfälle, Aktivitätsdiagramme, Schaltpläne?
2.26: Tragen Sie in der nachfolgenden Tabelle Berechnungsmodelle der Komponenten und Kommunikationsmodelle in der linken Spalte ein. Anschließend tragen Sie
bitte so viele UML-Diagramme wie möglich im Rest der Tabelle ein.