Ύλη λογικού...

27
4 η Θεµατική Ενότητα : Συνδυαστική Λογική Θεµατική Ενότητα : Συνδυαστική Λογική 2 Ύλη Λογικού Σχεδιασµού Ι Κεφ 2 Κεφ 3 Κεφ 4 Κεφ 6

Upload: duongnhi

Post on 06-Feb-2018

218 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

44ηη Θεµατική Ενότητα : Συνδυαστική ΛογικήΘεµατική Ενότητα : Συνδυαστική Λογική

Συνδυαστική Λογική 2

Ύλη Λογικού Σχεδιασµού Ι

• Κεφ 2

• Κεφ 3

• Κεφ 4

• Κεφ 6

Page 2: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 3

Εισαγωγή

∆ιαδικασία Σχεδιασµού

1.Καθορισµός Προβλήµατος 2.Καθορισµός εισόδων/εξόδων 3.Ονοµασία εισόδων/εξόδων 4.Πίνακας Αλήθειας 5.Απλοποίηση συναρτήσεων 6.Σχεδιασµός Λογικού ∆ιαγράµµατος

Λογικά

Κυκλώµατα

Συνδυαστικά: Οι έξοδοι είναι συνάρτηση των εισόδων

Ακολουθιακά: Οι έξοδοι είναι συνάρτηση των εισόδων και της κατάστασης των στοιχείων µνήµης(προηγούµενες είσοδοι)

Συνδυαστικό

Λογικό Κύκλωµα

n είσοδοι m έξοδοιm συναρτήσεις Boole n

µεταβλητών

Επιλογή Απλοποιηµένης Έκφρασης

1.Ελάχιστος αριθµός Πυλών 2.Ελάχιστος αριθµός εισόδων Πύλης 3.Ελάχιστο χρόνο διάδοσης σήµατος 4.Ελάχιστος αριθµός διασυνδέσεων 5.Περιορισµοί οδήγησης

Συνδυαστική Λογική 4

Ηµι-ΑθροιστήςΆθροιση 2 bits ⇒ Κρατούµενο (Carry), Άθροισµα (Sum). To κρατούµενο

τροφοδοτεί την επόµενη σηµαντικότερη βαθµίδα

x y C S

0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0

(α)

S=x΄y+xy΄

C=xy

(β)

S=(x+y)(x΄+y΄)

C=xy

(γ)

S=(C+x΄y΄)΄

C=xy

(δ)

S=C΄(x+y)

C=(x΄+y΄)΄

Page 3: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 5

Ηµι-Αθροιστής(γ)

S=(C+x΄y΄)΄

C=xy

(δ)

S=C΄(x+y)

C=(x΄+y΄)΄

x y C S

0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0

Συνδυαστική Λογική 6

Πλήρης-Αθροιστής

Άθροιση 3 bits ⇒Κρατούµενο (Carry), Άθροισµα (Sum). To

κρατούµενο τροφοδοτεί την

επόµενη σηµαντικότερη

βαθµίδα

x00001111

y00110011

z01010101

S01101001

C00010111

Page 4: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 7

Αφαιρέτες

Η αφαίρεση γίνεται µε πρόσθεση στον µειωτέο του συµπληρώµατος τουαφαιρετέου.

x y Β D

0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0

D=x΄y+xy΄

B=x΄y

Ηµιαφαιρέτης

Η D είναι ίδια µε την συνάρτηση S του Αθροιστή

x00001111

y00110011

z01010101

D01101001

Β

01110001

Πλήρης Αφαιρέτης

x: Μειωτέος

y: Αφαιρετέος

z: Προηγούµ. Κρατούµενο

Συνδυαστική Λογική 8

Μετατροπή Κωδίκων

Η ύπαρξη πολλών κωδίκων οδηγεί στην ανάγκη µετατροπών

ανάλογα µε την λειτουργία του κάθε συστήµατος. Γίνεται κυρίως για λόγους

επικοινωνίας µεταξύ τους.

Οι αχρησιµοποίητες καταστάσεις µπορούν να αποτελέσουν αδιάφορους όρους.

Page 5: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 9

Μετατροπή Κωδίκων

Χάρτες

µετατροπέα κώδικα BCD σε

excess-3

Συνδυαστική Λογική 10

Page 6: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 11

Μετατροπή Κωδίκων

Z=D΄

y=CD+C΄D΄=CD+(C+D)΄x=B΄C+B΄D+BC΄D΄==B΄(C+D)+BC΄D΄==B΄(C+D)+B(C+D)΄

w=A+BC+BD=A+B(C+D)

Συνδυαστική Λογική 12

Ανάλυση ΚυκλώµατοςΑπό το κύκλωµα βρίσκουµε τις συναρτήσεις Boole:1. Ονοµάζουµε τις εισόδους του κυκλώµατος2. Βρίσκουµε τις συναρτήσεις σε κάθε επίπεδο µέχρι το τελευταίο.

Page 7: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 13

Ανάλυση Κυκλώµατος

Συνδυαστική Λογική 14

Οικουµενικότητα Πύλης Όχι-ΚαιΟικουµενική Πύλη: Κάθε ψηφιακό σύστηµα µπορεί να υλοποιηθεί µε αυτήν.

Page 8: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 15

Οικουµενικότητα Πύλης Όχι-Και

1. Σχεδιάζουµε το λογικό διάγραµµα µε πύλες ΚΑΙ, Η και ΌΧΙ

2. Μετατρέπουµε όλες τις πύλες ΚΑΙ σε ΌΧΙ-ΚΑΙ µε σύµβολα ΚΑΙ-αντιστροφής

3. Μετατρέπουµε όλες τις πύλες Η σε ΌΧΙ-ΚΑΙ µε σύµβολα αντιστροφής-Η

4. Για κάθε κύκλο που δεν αναιρείται βάζουµε έναν αντιστροφέα

Συνδυαστική Λογική 16

F=A+(B΄+C)(D΄+BE΄)

Page 9: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 17

Οικουµενικότητα Πύλης Όχι-Και

Χρ. Καβουσιανός

F=(CD+E)(A+B΄)

Συνδυαστική Λογική 18

Εξαγωγή Συνάρτησης & Πίνακα Αλήθειας

Τ1=(CD)΄=C΄+D΄

T2=(BC΄)΄=B΄+C

T3=(B΄T1)΄=…=B+CD

T4=(AT3)΄=[A(B+CD)]΄

F=(T2T4)=…=BC΄+A(B+CD)

Page 10: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 19

Οικουµενικότητα Πύλης Ούτε

1. Σχεδιάζουµε το λογικό διάγραµµα µε πύλες ΚΑΙ, Η και ΌΧΙ

2. Μετατρέπουµε όλες τις πύλες Η σε ΟΥΤΕ µε σύµβολα αντιστροφής-Η

3. Μετατρέπουµε όλες τις πύλες ΚΑΙ σε ΌΥΤΕ µε σύµβολα αντιστροφής-ΚΑΙ

4. Για κάθε κύκλο που δεν αναιρείται βάζουµε έναν αντιστροφέα

Συνδυαστική Λογική 20

Οικουµενικότητα Πύλης Ούτε

F=(ΑΒ+E)(C+D)

Page 11: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 21

Οικουµενικότητα Πύλης Ούτε

F=[(C+D)B΄+A](Β+C΄)=(A+C+D)(A+B΄)(B+C΄)

Συνδυαστική Λογική 22

Η Συνάρτηση Αποκλειστικό Ή

Αποκλειστικό Ή (XOR)

x⊕y=x΄y+xy΄

Αποκλειστικό OYTE (XNOR)

(x⊕y)΄=xy+x΄y΄

Σχ. Αντιστρ.

• Είναι Αντιµεταθετική & Προσεταιριστική

• ∆εν φτιάχνονται συχνά πύλες XOR > 2 εισόδους

Η Συνάρτηση XOR πολλών µεταβλητών είναι περιττή: παίρνει τιµή 1 µόνο όταν περιττός αριθµός εισόδων είναι ίσος µε 1

Page 12: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 23

Η Συνάρτηση Αποκλειστικό Ή

Συνδυαστική Λογική 24

Γεννήτρια & Ελεγκτής Ισοτιµίας

Page 13: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 25

Γεννήτρια & Ελεγκτής Ισοτιµίας

Τα κυκλώµατα αυτά χρησιµοποιούνται στην ανίχνευση λαθών κατά την µετάδοση ή λειτουργία των κυκλωµάτων

Το bit ισοτιµίας είναι περιττή πληροφορία η οποία όµως µπορεί να χρησιµοποιηθεί για την ανίχνευση µονού αριθµού λαθών.

Συνδυαστική Λογική 26

ΑΣΚΗΣΗ

Page 14: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 27

Στην άρση βαρών µια προσπάθεια ενός αθλητή θεωρείται έγκυρη όταν τη δέχονται τουλάχιστον δύο από τους τρεις κριτές (Κ1,Κ2,Κ3) και άκυρη διαφορετικά. Σχεδιάστε συνδυαστικό κύκλωµα, χρησιµοποιώντας µόνο πύλες NOR, το οποίο να δίνει έξοδο (Χ) ίση µε λογικό ‘1’ όταν µια προσπάθεια θεωρείται άκυρη.Συµβολίστε µε λογικό ‘1’ την αποδοχή της προσπάθειας από έναν κριτή και µε λογικό ‘0’ το αντίθετο.

Συνδυαστική Λογική 28

0111

0011

0101

1001

0110

1010

1100

1000

XΚ3Κ2Κ1

Page 15: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 29

Συνδυαστική Λογική 30

Page 16: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 31

Συνδυαστική Λογική 32

Άσκηση

• Το σύστηµα ασφάλειας του χρηµατοκιβωτίου µιας τράπεζας έχει δυο πόρτες, την εξωτερική (X) και την εσωτερική (S) που οδηγεί στο χώρο που φυλάγεται ο χρυσός της τράπεζας. Οι δυο αυτές πόρτες έχουν ηλεκτρονικές κλειδαριές µε θέσεις για τρία κλειδιά τα οποία έχουν:

• Ο ∆ιευθυντής (D) - Ο Υποδιευθυντής (Υ) - Ο Ταµίας (Τ).

• Η εξωτερική πόρτα ανοίγει µε τα κλειδιά οποιονδήποτε δύο από τους παραπάνω υπαλλήλους.

Page 17: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 33

• Η εσωτερική πόρτα ανοίγει µόνο µε τα κλειδιά και των τριών υπαλλήλων.

• Συµβολίστε µε λογικό ‘1’ την παρουσία ενός υπαλλήλου µε το κλειδί και µε λογικό ‘0’ το αντίθετο. Συµβολίστε µε λογικό ‘1’ την κατάσταση µία πόρτα να είναι ανοιχτή και µε λογικό ‘0’ την κατάσταση να είναι κλειστή.

Συνδυαστική Λογική 34

• Α. Αν το σύστηµα ασφαλείας υλοποιείται µε ένα συνδυαστικό κύκλωµα, καθορίστε τις εισόδους και τις εξόδους του και κατασκευάστε τον πίνακα αλήθειας.

• Β. Απλοποιείστε το κύκλωµα χρησιµοποιώντας χάρτες Karnaugh και σχεδιάστε το µε λογικές πύλες.

Page 18: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 35

Λύση

Είναι προφανές ότι στο συνδυαστικό κύκλωµα οι είσοδοι αντιστοιχούν στα τρία κλειδιά που έχουν οι υπάλληλοι (D,Υ,Τ) ενώ οι έξοδοι του είναι οι δύο πόρτες (X,S). Λαµβάνοντας υπόψη τα δεδοµένα της εκφώνησης ο πίνακας αλήθειας συµπληρώνεται όπως φαίνεται παρακάτω:

Συνδυαστική Λογική 36

Page 19: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 37

Χ = Σ ( 3, 5, 6,7 )

S = Σ ( 7 )

Συνδυαστική Λογική 38

Page 20: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 39

Συνδυαστική Λογική 40

Page 21: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 41

Άσκηση

Συνδυαστική Λογική 42

Page 22: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 43

Συνδυαστική Λογική 44

Page 23: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 45

Συνδυαστική Λογική 46

Page 24: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 47

Άσκηση

Συνδυαστική Λογική 48

Page 25: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 49

Συνδυαστική Λογική 50

Page 26: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 51

Συνδυαστική Λογική 52

Page 27: Ύλη Λογικού Σχεδιασµού - ceid. · PDF fileΑΣΚΗΣΗ 27 Στηνάρση ... Είναι προφανές ότι στο συνδυαστικό ... Microsoft PowerPoint

Συνδυαστική Λογική 53