slide1
Download
Skip this Video
Download Presentation
Quellen: Zum Teil aus den Unterlagen „Digitale Systeme“, Prof. Schimmler, Prof. Loogen

Loading in 2 Seconds...

play fullscreen
1 / 54

Quellen: Zum Teil aus den Unterlagen „Digitale Systeme“, Prof. Schimmler, Prof. Loogen - PowerPoint PPT Presentation


  • 138 Views
  • Uploaded on

Technische Informatik II (für Bachelor). Vorlesung 3: Kombinatorische Schaltungen. 21.04.2008 , v16. Themen: Beschreibung kombinatorischer Logik Minimierung von Schaltfunktionen. Quellen: Zum Teil aus den Unterlagen „Digitale Systeme“, Prof. Schimmler, Prof. Loogen. Schaltnetze.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Quellen: Zum Teil aus den Unterlagen „Digitale Systeme“, Prof. Schimmler, Prof. Loogen' - luisa


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
slide1

Technische Informatik II

(für Bachelor)

Vorlesung 3:Kombinatorische Schaltungen

21.04.2008 , v16

  • Themen:
  • Beschreibung kombinatorischer Logik
  • Minimierung von Schaltfunktionen

Quellen:

Zum Teil aus den Unterlagen „Digitale Systeme“, Prof. Schimmler, Prof. Loogen

slide2

Schaltnetze

Definition:

Ein Schaltnetz ist eine technische Realisierung einer Boole‘schen Funktion. Schaltnetze können durch Zusammenschalten von Gattern und Leitungen aufgebaut werden.

Schaltnetz mit einem Ausgang:

Schaltfunktion

y = f(X)

x1

x2

.

.

xn

y

.

.

2n

Anz. Funktionen = 2

slide3

Schaltfunktion

Eingangswerte

Ausgangswerte

slide5

Beispiel des Schaltnetzes:

x0

x1

&

x2

&

y0

≥1

x3

1

slide8

22

Anz. Funktionen = 2 =16

Logische Funktionen von zwei Variablen(2)

slide9

Verbreiteten Funktionen bis zwei Variablen

grafische Darstellung der

verschalteten Logik

slide10

Rechengesetze der Schaltalgebra

Grafische Darstellung der

verschalteten Logik

slide12

Definition:

Ein Produktterm ist eine UND-Verknüpfung von Eingabevariablen, wobei jede Eingabevariable höchstens einmal in invertierter oder in nicht-invertierter Form vorkommen kann.

Beispiele für Produktterme:

slide13

Definition:

Eine Boole‘sche Funktion ist in Disjunktiver Normalform (DNF), wenn sie aus einer ODER-Verknüpfung von Produkttermen besteht.

(Sum Of Products: SOP)

Beispiele für Funktionen in DNF:

slide14

Definition:

Ein Minterm (Vollkonjunktion, minimaler Produktterm) ist ein Produktterm, bei dem alle Eingabevariablen entweder in invertierter oder in nicht-invertierter Form vorkommen. Ein Minterm entspricht einer Zeile in der Wertetabelle der Funktion.

Beispiele für Minterme:

( x0 x1 x2 sind alle Eingangsvariablen)

( x0 ist die einzige Eingangsvariable)

hingegen ist kein Minterm, wenn es auch noch eine Eingabevariable x1 gibt.

slide15

Definition:

Die Kanonische Disjunktive Normalform (KDNF) einer Boole‘schen Funktion ist eine ODER-Verknüpfung aller Minterme, für die die Funktion den Wert 1 annimmt.

Beispiele für Funktionen in KDNF:

Die folgende Funktion ist nicht in KDNF;

im zweiten Produktterm taucht das x1 nicht auf, daher ist es kein Minterm.

slide16

Minterm

Beispiel einer Wertetabelle einer Funktion y1:

x0

x1

y1

x2

0

0

0

0

1

0

0

0

0

1

0

0

1

1

0

1

0

0

1

0

1

0

1

1

0

1

1

1

1

1

1

1

y1 =

+

+

+

slide18

Definition:

Ein Summenterm ist eine ODER-Verknüpfung von Eingabevariablen, wobei jede Eingabevariable höchstens einmal in invertierter oder in nicht-invertierter Form vorkommen kann.

Beispiele für Summenterme:

slide19

Definition:

Eine Boole‘sche Funktion ist in Konjunktiver Normalform (KNF), wenn sie aus einer UND-Verknüpfung von Summentermen besteht.

(Product Of Sums: POS )

Beispiele für Funktionen in KNF:

slide20

Definition:

Ein Maxterm (Volldisjunktion) ist ein Summenterm, bei dem alle Eingabevariablen entweder in invertierter oder in nicht-invertierter Form vorkommen. Es gibt für jede Zeile i in einer Wertetabelle der Funktion einen Maxterm, der der Menge aller Zeilen außer seiner Zeile i entspricht.

Beispiele für Maxterme:

hingegen ist kein Maxterm, wenn es auch noch eine Eingabevariable x1 gibt.

slide21

Definition:

DieKanonische Konjunktive Normalform (KKNF) einer Boole‘schen Funktion ist eine UND-Verknüpfung aller Maxterme, für deren Zeile die Funktion den Wert 0 annimmt.

Beispiele für Funktionen in KKNF:

Die folgende Funktion ist nicht in KKNF;

im ersten Summenterm tauchen x1 und x2 nicht auf, daher ist es kein Maxterm.

slide22

y1 = x0 x1 x2 + x0 x1 x2 + x0 x1 x2 + x0 x1 x2

.

.

.

y1 =

Beispiel einer Wertetabelle einer Funktion:

Einzelvariablen

werden invertiert

im Maxterme!

x0

x1

y1

Maxterm

x2

0

0

0

0

1

0

0

0

0

1

0

0

1

1

0

1

0

0

1

0

1

0

1

1

0

1

1

1

1

1

1

1

slide23

x1

x2

x0

1

1

1

≥1

≥1

y1

&

≥1

≥1

.

.

.

y1 =

Beispiel des Schaltbildes einer Funktion in KKNF:

slide24

Beispiel einer Funktion im Auto:

Zündung: Z=1 : Zündung an

Hitze: H=1 : Temperatur>95o

Pegel: P=1 : ausreichend Wasser

Ausgangsfunktion Warnleuchte W

Z

H

P

W

Minterm

0

0

0

0

0

0

1

0

0

1

0

0

0

1

1

0

1

0

0

1

1

0

1

0

1

1

0

1

1

1

1

1

slide28

A (B + B)

A

A B + A B

11

01

x

x

f

2

1

0

0

0

x

2

0

1

1

1

0

1

1

1

1

Die Stelle des

Bitwechsels

wird gekürzt

x

1

00

10

Hintergrund der logischen Minimierung

„ Unit Distance Code“

Schlüsseloperation:

Beispiel: Darstellung der Funktion f (x1, x2) =  m(1, 2, 3)

-1

1

2

3

1-

Brawn Figure 4.33. Ref. Brown

slide29

f (x1, x2, x3) = x3 + x1x2

Hintergrund „ Unit Distance Code“

Darstellung der 3-Variablen Funktion f (x1, x2, x3) = m(0, 2, 4, 5, 6)

(2)

(6)

- - 0

(5)

1 0 -

(0)

(4)

Ref.: Brawn Figure 4.33.

slide30

Hintergrund „ Unit Distance Code“

Darstellung der 4-Variablen Funktion f (x1, x2, x3 , x4)

f (x1, x2, x3 , x4) = x2x4 + x1 x3+ x2x3 x4

Brawn Figure 4.33.

slide31

Karnaugh-Vieth KV-Diagramm:

  • Rechteckiges Schema
  • bei n Eingabevariablen 2n innere Felder.
  • Ränder so beschriften, dass jede Variable genau die Hälfte des Diagramms abdeckt.
  • Jede Variable deckt genau den halben Bereich jeder anderen Variablen ab.
  • Jeder Minterm ist eindeutig durch ein inneres Feld repräsentiert.
slide32

Karnaugh-VeithKV-Diagramm:

Beispiele:

b

Unit-Distance Kodierung

für benachbarte Felder!

Gray Code Zähler:

00 → 01 →11 →10

(Nur ein Bit wechselt!)

b

a

a

b

Für Funktionen mit 2 Variablen

c

Für Funktionen mit 3 Variablen

a

d

Minimierungsregel

c

Für Funktionen mit 4 Variablen

slide33

CA

BA

A

ABC

BC

CB

CB

AB

AB

CB

CB

DB

CD

Beispiele:

B

A

A

1

1

1

1

B

1

1

1

C

2 Variablen

3 Variablen

B

B

1

1

1

1

1

1

A

A

1

1

1

1

1

1

D

D

1

1

1

1

1

1

1

1

1

1

C

C

4 Variablen

4 Variablen-Alternativ

slide34

ZPH+ZPH = ZH

ZPH+ZPH=

ZP

Beispiel für ein KV-Diagramm mit 3 Variablen

Beispiel: Warnleuchte:

Z

H

P

W

0

0

0

0

0

0

1

0

P

0

1

0

0

Z

1

1

1

0

0

1

1

0

0

0

0

0

1

0

0

1

1

0

1

0

H

1

1

0

1

1

1

1

1

slide35

Zusammenfassung:

Die Einsen im KV-Diagramm werden zu Blöcken maximaler Größe zusammengefasst. Dabei müssen die Blöcke immer im Raster der Zweierpotenzen beginnen und enden. Eine Zusammenfassung von zwei Blöcken zu einem Block doppelter Größe entspricht einer Anwendung der Vereinfachungsregel: Wenn ein Block (x0x1) und ein zweiter Block (x0x1) beide nur aus Einsen bestehen, liegen diese beiden Blöcke im KV-Diagramm nebeneinander und können zu einem doppelt so großen Block x0 zusammengefasst werden. Die gegenüberliegenden Ränder eines KV-Diagramms sind zu identifizieren. Man kann sich das Diagramm als Torus vorstellen.

Wenn mehr als 4 Eingabevariablen vorliegen, muss ein 2-dimensionales KV-Diagramm so dargestellt werden, dass einzelne Variablen Bereiche überdecken, die nicht zusammenhängend in der Ebene sind. Dabei sind aber die zueinander zeigenden Ränder dieser Bereiche als identisch anzusehen.

slide36

Einträge in KV-Diagrammen können Nullen und Einsen sein. In diesem Fall kann man durch Zusammenfassen aller Einsen zu maximalen Blöcken eine DMF ablesen. (Leider ist sie nicht eindeutig). In solchen Fällen schreibt man meist nur die Einsen in das Diagramm und lässt die Nullen weg. Zusammenfassen der Nullen und benutzen der Komplemente der Variablen führt zur KMF.

Wenn einzelne Elemente in der Wertetabelle don‘t cares sind, können diese in den Blöcken der Einsen bei der DMF (oder Nullen bei der KMF) mit auftauchen. Sie schaden nichts. Aber es müssen durchaus nicht alle don‘t cares (dargestellt durch den Buchstaben X oder d) mit in Blöcke aufgenommen werden.

slide37

n1

Beispiel: 2-Bit Multiplizierer:

p0

n0

n1

n0

m1

m0

p3

p2

p1

p0

1

1

1

1

m0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

1

0

0

0

0

0

0

1

0

m1

0

0

0

0

0

0

1

1

n1

0

0

0

0

0

1

0

0

p1

0

1

0

1

0

0

0

1

n0

1

1

0

0

1

0

0

1

1

0

1

1

m0

0

0

1

1

0

1

1

1

1

1

0

0

0

0

1

0

0

0

0

0

1

0

1

0

0

1

m1

0

1

0

0

1

0

1

0

n1

1

0

1

1

0

1

1

0

p2

1

1

0

0

0

0

0

0

n0

1

0

0

1

1

1

1

0

1

m0

1

1

1

0

0

1

1

0

1

1

0

0

1

1

1

1

1

1

m1

slide38

n1

p0

n0

1

1

1

1

m0

m1

n1

p1

1

1

n0

1

1

m0

1

1

m1

n1

p2

1

n0

m0

1

1

p3

m1

slide39

2-Bit-Multiplizierer

m1

m0

n1

n0

1

1

1

1

p0

&

&

&

p1

≥1

&

&

&

p2

≥1

&

p3

&

slide41

4-Bit Codewandler: Dezimal -> Aiken

x3

x2

x1

x0

y3

y2

y1

y0

0

0

0

0

0

0

0

0

0

0

0

1

0

0

0

1

0

0

1

0

0

0

1

0

0

0

1

1

0

0

1

1

0

1

0

0

0

1

0

0

0

1

0

1

1

0

1

1

1

1

0

0

0

1

1

0

1

1

0

1

0

1

1

1

1

1

1

0

1

0

0

0

1

1

1

1

1

0

0

1

X

X

X

X

1

0

1

0

1

0

1

1

X

X

X

X

Don’t Care

1

1

0

0

X

X

X

X

X

X

X

X

1

1

0

1

1

1

1

0

X

X

X

X

X

X

X

X

1

1

1

1

slide42

KV Minimierung für Disjunktive Minimalform DMF:

Zusammenfassung

  • Aufstellen der Wertetabelle
  • Eintragen der Terme „mit 1“ in KV-Diagramm
  • Zusammenfassen von benachbarten Einsen zu Blöcken maximaler Größe
  • Ablesen der DMF
slide43

KV Minimierung für konjunktive Minimalform KMF:

Zusammenfassung:

  • Aufstellen der Wertetabelle
  • Eintragen der Werte „mit 0“ in KV-Diagramm
  • Zusammenfassen von benachbarten Nullen zu Blöcken maximaler Größe
  • Ablesen der KMF, indem die Summenterme gebildet werden, die diese Blöcke von Nullen nicht abdecken. Zu diesem Zweck oder‘t man die invertierten Eingabevariablen, die diese Blöcke von Nullen überdecken.
slide44

KV-Diagramme mit mehr als 4 Variablen (sehr Arbeitsaufwendig)

x2

x3

x3

x4

x5

x0

x0

x2

x1

x5

x1

x1

x4

x4

5 - Variablen

6 - Variablen

slide45

Das Verfahren von Quine und McCluskey

(Rechnergestützte Verfahren)

Mit KV-Diagrammen kommen wir nicht weiter, wenn die Anzahl der Eingabevariablen größer als 6 wird. In diesem Fall empfiehlt sich das Verfahren von Quine und McCluskey. Es beginnt mit der KDMF und besteht aus zwei Schritten:

Erstens: Das Verfahren von McCluskey erzeugt durch systematische Anwendung der Vereinfachungsregeln alle Primterme einer Funktion.

Zweitens: Das Verfahren von Quine wählt aus dieser Menge aller Primterme eine minimale Teilmenge aus, deren Oder-Verknüpfung die gesamte Funktion repräsentiert.

slide46

Das Verfahren von Quine und McCluskey

  • McCluskey:
  • Systematische Anwendung der Regel
  • Konstruktion aller Primterme
  • Quine
  • Treffen einer minimalen Auswahl von Primtermen, deren Disjunktion die Funktion realisiert.

Edward J. McCluskey

Stanford University

Computer Science

slide47

4,6

3,6

2,5

3,5

1,2

1,3

1,4

A,E

B,D

B,G

C,F

Einleitendes Beispiel

1 2 3 4 5 6

A B C D E F G

slide48

Das Verfahren von McCluskey

  • Begonnen wird mit der Funktion in DNF
  • Für jedes Paar von Produkttermen wird geprüft, ob die Regel
  • anwendbar ist. Wenn ja, wird in der nächsten Zeile der Produktterm x aufgenommen. Alle Terme, die nicht zu einem solchen Produktterm beigetragen haben, werden unverändert in die nächste Zeile übernommen.
  • Wenn keine neuen Produktterme in der neuen Zeile entstehen, ist man fertig. Sonst wird bei 1. weitergemacht. Am Ende stehen in der letzten Zeile alle Primterme.
slide49

Zweites Beispiel

I II III IV

I,II II,III III,IV

3 Primterme sind generiert

bc ist ein redundanter Term, wie man am KV-Diagramm leicht sehen kann. Daher benötigen wir das Verfahren von Quine.

slide50

Das Verfahren von Quine

  • Eine Primterm-Minterm-Tabelle wird aufgestellt: Die Minterme in der Zeile und die Primterme in der Spalte.
  • Alle Spalten, in denen eine 1 aus einer dominantenZeile (Zeile mit nur einer 1) steht, werden markiert. Alle Zeilen, in denen 1en aus markierten Spalten stehen, werden gestrichen.
  • Wenn keine ungestrichene Zeile mehr vorhanden ist, wird das Verfahren beendet. Die markierten Spalten bilden die Minterme der DMF.
  • Wenn keine dominante Zeile mehr vorhanden ist, aber noch ungestrichene Zeilen existieren, wird eine beliebige Spalte markiert und bei 1. fortgefahren.
slide51

bc ist nicht nötig da die Primterme ab, ac alle Minterme abdecken!

Also f =( ab + ac ) ist die Minimale Implementierung

Quine Verfahren, minimaler Abdeckung

1. Primterme horizontal, Minterme vertikal einsetzen

2. 1 setzen für alle Minterme die einen Primterm enthalten

Primterme

Minterme

1

1

1

1

1

1

slide52

Gewicht=0

Gewicht=1

Gewicht=2

Gewicht=3

Gewicht=4

Beispiel zum Verfahren von Quine McCluskey

10 beteiligte Minterme in Gruppen sortiert nach Anz. von Einsen (Gewicht) (oder Nullen) inklusive den „don‘t cares“ (-)

slide53

Primterme generieren

Jede Gruppe mit der folgenden Gruppe testen!

Primterme

Alle nicht markierte Terme werden als Primterme

für die weitere Bearbeitung ausgewählt!

slide54

Primimplikanten-Tabelle und minimale Funktionsauswahl

Nur Minterme mit 1 (nur 6)

Primterme

Eine andere Lösung ist auch möglich!

ad