Fachgebiet RechnerSysteme

bung Logischer Entwurf - WS 2002/2003

Technische Universitt
Darmstadt
4
-
1
4. bung Logischer Entwurf 1
1. Aufgabe
1. Aufgabe
Gegeben sei die Funktion
a) Zeichnen Sie den reduzierten OBDD der Funktion fr die
Variablenreihenfolge a,b,c,d.
b) Zeichnen Sie eine zweistufige NAND-Realisierung der
Funktion.
c) Bestimmen Sie die Entwicklungsreihenfolge indem Sie die
Gewichtsmethode auf die Schaltung aus b) anwenden.
d) Zeichen Sie den reduzierten OBDD mit der durch die
Gewichtsmethode bestimmten Variablenreihenfolge.
d c a d c c b + +
4. bung Logischer Entwurf 2 1. Aufgabe
a) OBDD der Funktion entwickeln
Kofaktorzerlegung:
OBDD zeichnen (siehe letzte bung)
( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) d c c b d c d c b a d c c b d c b a
d c d c c b a d c c b a
d c a d c c b f
+ + + + + + =
+ + + + =
+ + =
4. bung Logischer Entwurf 3 1. Aufgabe
0-Kante
1-Kante
d
0 1
d
( ) ( ) ( ) ( ) ( ) ( ) d c c b d c d c b a d c c b d c b a f + + + + + + =
d d
4. bung Logischer Entwurf 4 1. Aufgabe
0-Kante
1-Kante
d
c c
0 1
d
c
d d
d c c + d c d c +
d c
( ) ( ) ( ) ( ) ( ) ( ) d c c b d c d c b a d c c b d c b a f + + + + + + =
Fachgebiet RechnerSysteme
bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
4
-
2
4. bung Logischer Entwurf 5 1. Aufgabe
0-Kante
1-Kante
d
c c
b
0 1
d
c
b
d d
d c c + d c d c +
d c
( ) ( ) ( ) ( ) ( ) ( ) d c c b d c d c b a d c c b d c b a f + + + + + + =
4. bung Logischer Entwurf 6 1. Aufgabe
0-Kante
1-Kante a
d
c c
b
0 1
f
d
c
b
( ) ( ) ( ) ( ) ( ) ( ) d c c b d c d c b a d c c b d c b a f + + + + + + =
4. bung Logischer Entwurf 7 1. Aufgabe
b) Zweistufige NAND-Realisierung
Kann direkt aus der DNF abgelesen werden:
&
&
&
&
b
c
c
d
a
d
c
f
d c a d c c b + +
4. bung Logischer Entwurf 8 1. Aufgabe
c) Gewichtsmethode
Bestimmung einer gnstigen Entwicklungsreihenfolge
Gewichtsmethode ist eine Heuristik und liefert in der
Regel ein gutes aber nicht zwingend ein optimales
Ergebnis
Mehrere Durchlufe (Iterationen) in jedem wird eine
Variable der Reihenfolge festgelegt
Erklrung des Verfahrens am Beispiel der 2:1-Multiplexor-
schaltung:
Fachgebiet RechnerSysteme
bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
4
-
3
4. bung Logischer Entwurf 9 1. Aufgabe
&
&
a
b
1
1
1
x
2
1
1
2
Am Ausgang mit dem Gewicht 1 beginnen
Bei jedem Gatter Gewicht des Ausgangs zu gleichen
Teilen auf die Eingnge verteilen
4. bung Logischer Entwurf 10 1. Aufgabe
4
1
4
1
+
1
4
1
4
Werden Eingnge zusammengeschaltet die Gewichte
addieren
&
&
a
b
1
1
1
x
2
1
1
2
4. bung Logischer Entwurf 11 1. Aufgabe
1
2
1
4
1
4
a
b
x
=
=
=
1
4
1
4
1
2
x am grten, daher
wird als erstes nach
x entwickelt
Grtes Gewicht auswhlen
&
&
a
b
1
1
1
x
2
1
1
2
4. bung Logischer Entwurf 12 1. Aufgabe
Neuer Durchlauf
Verbindungen zu x bleiben unbercksichtigt
&
&
a
b
1
1
1
x
2
1
1
2
Fachgebiet RechnerSysteme
bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
4
-
4
4. bung Logischer Entwurf 13
Bei gleichgroen Gewichten eines frei auswhlen
1. Aufgabe
&
&
a
b
1
1
1
x
2
1
1
2
2
1
2
1
a
b
=
=
1
2
1
2
Hier kanns sowohl
als zweites nach a
oder b entwickelt
werden,
Entscheidungen
gleichwertig
Hier Entscheidung
fr a
4. bung Logischer Entwurf 14 1. Aufgabe
Neuer Durchlauf
Verbindungen zu x und a bleiben unbercksichtigt
&
&
a
b
1
1
1
x
1
1
Ergebnis:
Entwicklungs-
reihenfolge x, a, b
Eine weitere
zulssige Lsung
nach der
Gewichtsmethode ist
x, b, a
4. bung Logischer Entwurf 15
c am grten, daher
zuerst nach c
entwickeln
1. Aufgabe
&
&
&
&
b c a d
1
Gewichtsmethode fr die Schaltung aus Teilaufgabe b):
1. Durchlauf
1
1
1
3
1
3
1
3
1
6
1
6
1
6
1
6
1
9
1
9
1
9
1
18
5
9
1
6
1
18
8
9
1
6
1
6
1
18
3
6
1
18
2
9
1
= + =
= + + =
= =
= =
d
c
b
a
4. bung Logischer Entwurf 16
d am grten, daher
als zweites nach d
entwickeln
1. Aufgabe
&
&
&
&
b c a d
1
2. Durchlauf
1
1
1
3
1
3
1
3
1
3
1
3
1
6
1
6
1
2
1
6
1
3
1
3
1
6
1
= + =
=
=
d
b
a
Fachgebiet RechnerSysteme
bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
4
-
5
4. bung Logischer Entwurf 17 1. Aufgabe
&
&
&
&
b c a d
1
3. Durchlauf
1
1
1
2
1
2
1
Es kann frei
gewhlt werden
ob als drittes
nach a oder b
entwickelt wird
Ergebnis:
Entwicklungs-
reihenfolge:
c, d, a, b oder
c, d, b, a
2
1
2
1
=
=
b
a
2
1
2
1
4. bung Logischer Entwurf 18 1. Aufgabe
d) OBDD mit Variablenreihenfolge nach Gewichtsmethode
Hier Variablenreihenfolge c, d, a, b
Kofaktorzerlegung:
( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) d c a b a d b d c
d c b a d b d c
d c ad b c
d c a d c c b f
+ + + =
+ + + =
+ + =
+ + =
4. bung Logischer Entwurf 19 1. Aufgabe
( ) ( ) ( ) ( ) d c b a d b d c f + + + =
0-Kante
1-Kante c
b
a
d
0 1
f
d
Durch die bessere
Entwicklungs-
reihenfolge
reduziert sich die
Anzahl der Knoten
im OBDD von 8
auf 5 Knoten
4. bung Logischer Entwurf 20
2. Aufgabe
2. Aufgabe
berprfen Sie die Aussagen
und jeweils durch
a) Umformung in eine Tautologie und algebraische Rechnung.
b) Aufstellen der Veitch-Diagramme.
d ab bd a bc bcd bc a + + +
b a c b ac c b c a ab + + = + +
Fachgebiet RechnerSysteme
bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
4
-
6
4. bung Logischer Entwurf 21 2. Aufgabe
a1) d ab bd a bc bcd bc a + + +
Tautologie: 1 = + g f g f
( ) ( )
( ) ( )
1
1
= + + + + + =
+ + + + + =
+ + + + + + + =
+ + + + =
d ab bd a b c b d a
d ab bd a bc c b d a
d ab bd a bc d c b c b a
d ab bd a bc bcd bc a
+ + + d ab bd a bc bcd bc a
4. bung Logischer Entwurf 22 2. Aufgabe
d ab bd a bc bcd bc a + + + b1)
Veitch-Diagramm:
Der Bereich
wird vollstndig
berdeckt
d
c
b
0 0 0 0
0 0 0 0
1 1 1 0
0 1 1 1
a
bcd bc a +
4. bung Logischer Entwurf 23 2. Aufgabe
b1)
Tautologie:
quivalenz:

1 = = g f g f
b a c b ac c b c a ab + + = + +
g f g f g f +
+ + = + +
= +
b a c b ac c b c a ab
g f g f 1
( ) ( ) ( ) ( )
( ) ( ) ( )( )( ) ( )( )( ) ( )
( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) 1
1
= + = + + + =
+ + + + + + + =
+ + + + + + + =
+ + + + + + + =
+ + + + + + + + + + + =
+ + + + + + + + + =
a a b b a b b a
c c b c c b a c c b c c b a
c b c b c b bc a bc c b c b c b a
bc a c b a c b a c b a c ab abc c b a c b a
b a c b c a c b c a b a b a c b ac c b c a ab
b a c b ac c b c a ab b a c b ac c b c a ab
4. bung Logischer Entwurf 24 2. Aufgabe
b2)
Lsung ber
Veitch-Diagramme
c
b
1 1 0 1
0 1 1 1
a
c
b
1 1 0 1
0 1 1 1
a
b a c b ac c b c a ab + + = + +
c b c a ab + +
b a c b ac + +
Fachgebiet RechnerSysteme
bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
4
-
7
4. bung Logischer Entwurf 25
3. Aufgabe
3. Aufgabe
Gegeben sei eine boolesche Funktion f in vier Variablen durch
ihre Dezimalquivalentdarstellung
f(a,b,c,d) = {0,2,3,4,5,7,8,10,11,15}.
Zeichnen Sie das Veitch-Diagramm der Funktion. Bestimmen
Sie alle Primimplikanten und deren Typ. Geben Sie die
kostengnstigste zweistufige NAND-Realisierung an.
4. bung Logischer Entwurf 26 3. Aufgabe
d
c
a
b
In vier Variablen:
0 4 12 8
1 5 13 9
3 7 15 11
2 6 14 10
Wiederholung: Dezimalquivalentdarstellung
von Veitch-Diagrammen
4. bung Logischer Entwurf 27 3. Aufgabe
In fnf Variablen:
c
b
24 28 20 16
25 29 21 17
27 31 23 19
26 30 22 18
d
c
a
e
0 4 12 8
1 5 13 9
3 7 15 11
2 6 14 10
4. bung Logischer Entwurf 28 3. Aufgabe
Dezimalquivalentdarstellung {0,2,3,4,5,7,8,10,11,15}
d
c
a
b
0 4 12 8
1 5 13 9
3 7 15 11
2 6 14 10
Fachgebiet RechnerSysteme
bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
4
-
8
4. bung Logischer Entwurf 29 3. Aufgabe
d
c
a
b
1 1 0 1
0 1 0 0
1 1 1 1
1 0 0 1
Dezimalquivalentdarstellung {0,2,3,4,5,7,8,10,11,15}
4. bung Logischer Entwurf 30
1 1 0 1
0 1 0 0
1 1 1 1
1 0 0 1
3. Aufgabe
c
d
c
a
Alle Primimplikaten
identifizieren
Dann Typ bestimmen
b
4. bung Logischer Entwurf 31 3. Aufgabe
1 1 0 1
0 1 0 0
1 1 1 1
1 0 0 1
c
d
c
a
KPI:
b
c a
ab
Kern-Primimplikanten sind Primimplikaten die Minterme
berdecken, die von keinem anderen Primimplikanten
berdeckt werden.
4. bung Logischer Entwurf 32 3. Aufgabe
1 1 0 1
0 1 0 0
1 1 1 1
1 0 0 1
c
d
c
a
API:
b
c b
Absoluteliminierbare-Primimplikanten sind Primimplikaten
deren Minterme alle von Kern- Primimplikanten berdeckt
werden.
Fachgebiet RechnerSysteme
bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
4
-
9
4. bung Logischer Entwurf 33 3. Aufgabe
1 1 0 1
0 1 0 0
1 1 1 1
1 0 0 1
c
d
c
a
REPI:
b
d c b
d b a
d ac
Alle weiteren Primimplikanten sind Relativeliminierbare-
Primimplikaten.
4. bung Logischer Entwurf 34 3. Aufgabe
Kostenminimale DNF enthlt:
Alle KPI
Keine API
Die gnstigste erlaubte (alle Minterme realisierende)
Kombination der REPI
Hier nur eine kostenminimale DNF
Existieren mehrere erlaubte Kombinationen der REPI, die
alle die niedrigsten Kosten aufweisen, existieren mehrere
kostenminimale DNF
4. bung Logischer Entwurf 35 3. Aufgabe
unntig
d c b ab c a f + + =
k
o
s
t
e
n
g

n
s
t
i
g
s
t
e
e
r
l
a
u
b
t
e
K
o
m
b
i
n
a
t
i
o
n
Rest
KPI: API: REPI:
Kostenminimale DNF:
d ac d c b d b a , , c b
ab c a ,
4. bung Logischer Entwurf 36 3. Aufgabe
&
&
&
&
a
c
a
b
b
c
d
d c b ab c a f + + =
f
Zweistufige Nand-Realisierung kann einfach abgelesen
werden
Fachgebiet RechnerSysteme
bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
4
-
1
0
4. bung Logischer Entwurf 37
4. Aufgabe
4. Aufgabe
Die Funktion f wird durch das neben-
stehende Veitch-Diagramm
beschrieben. Bestimmen Sie alle
c
b
0 0 0 1
0 1 0 0
1 0 0 1
0 0 0 1
d
c
a
0 1 1 0
0 0 1 0
1 1 0 1
0 1 0 0
e
Primimplikanten
und deren Typ.
Geben Sie die
kosten-
gnstigste
zweistufige
AND/OR-
Realisierung an.
4. bung Logischer Entwurf 38 4. Aufgabe
Alle PI bestimmen
c
b
d
c
a
e
0 1 1 0
0 0 1 0
1 1 0 1
0 1 0 0
0 0 0 1
0 1 0 0
1 0 0 1
0 0 0 1
4. bung Logischer Entwurf 39 4. Aufgabe
KPI:
c ab
cd b a
e d c a
c
b
d
c
a
e
0 0 0 1
0 1 0 0
1 0 0 1
0 0 0 1
0 1 1 0
0 0 1 0
1 1 0 1
0 1 0 0
4. bung Logischer Entwurf 40 4. Aufgabe
API:
c
b
d
c
a
e
0 0 0 1
0 1 0 0
1 0 0 1
0 0 0 1
0 1 1 0
0 0 1 0
1 1 0 1
0 1 0 0
e d c b
Fachgebiet RechnerSysteme
bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
4
-
1
1
4. bung Logischer Entwurf 41 4. Aufgabe
REPI:
c
b
d
c
a
e
0 0 0 1
0 1 0 0
1 0 0 1
0 0 0 1
0 1 1 0
0 0 1 0
1 1 0 1
0 1 0 0
e cd b
e c b a
e d c a
e d bc
e d ab

4. bung Logischer Entwurf 42 4. Aufgabe

Nur eine kostengnstigste Lsung:
c
b
d
c
a
e
0 0 0 1
0 1 0 0
1 0 0 1
0 0 0 1
0 1 1 0
0 0 1 0
1 1 0 1
0 1 0 0

e c b a e d bc c ab cd b a e d c a f + + + + =
4. bung Logischer Entwurf 43 4. Aufgabe
alle mglichen IRREDUNDANTEN Lsungen
In diesem Fall existiert nur eine kostengnstigste Lsung

+ +
+ +
+ +
+
+ + + =
e c b a e d c a e d ab
e cd b e d c a e d bc
e cd b e d c a e d ab
e c b a e d bc
c ab cd b a e d c a f

kosten-
minimal
4. bung Logischer Entwurf 44 4. Aufgabe
e c b a e d bc c ab cd b a e d c a f + + + + =
&
&
&
&
&
1
e
d
c
a
d
c
b
a
c
b
a
e
d
c
b
e
c
b
a
f