ΗΜΥ-210: Σχεδιασμός Ψηφιακών Συστημάτων Χειμερινό Εξάμηνο 2008

Transcript

1 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 ΗΜΥ-2: Σχεδιασμός Ψηφιακών Συστημάτων Χειμερινό Εξάμηνο 28 Συνδυαστική Λογική (Μέρος Α) Διδάσκουσα: Μαρία Κ. Μιχαήλ Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Περίληψη υαδική Λογική και Πύλες Άλγεβρα Boole Βασικές ιδιότητες Αλγεβρικός Χειρισμός/Μετασχηματισμός Κανονικές (Canonical) και Πρότυπες (Standard) μορφές Ελαχιστόροι (minterms) και Μεγιστόροι (materms) SOP and POS (κανονικές και πρότυπες μορφές) Χάρτες Karnaugh (K-χάρτες) Xάρτες 2, 3ων, 4ων, και 5 μεταβλητών Απλοποίηση χρησιμοποιώντας K-χάρτες Επεξεργασία K-χαρτών Implicants: Primes (κύριοι), Essentials (ουσιώδεις) Αδιάφοροι όροι (don t cares) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 2 Συνδιαστικά Λογικά Κυκλώματα

2 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 υαδική Λογική Ασχολείται με δυαδικές μεταβλητές που παίρνουν 2 διακριτές τιμές ( και ) και με λογικές (δυαδικές) πράξεις. 3 βασικές πράξεις: AND, OR, NOT υαδικές/λογικές μεταβλητές αναπαριστούνται από γράμματα: A,B,C,,X,Y,Z Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 3 Συναρτήσεις υαδικής Λογικής F(vars) = έκφραση Σύνολο δυαδικών μεταβλητών Τελεστές ( +,, ) Μεταβλητές Σταθερές (, ) Ομαδοποίηση (παρενθέσεις) Παράδειγμα: F(a,b) = a b + b G(,y,z) = (y+z ) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 4 Συνδιαστικά Λογικά Κυκλώματα 2

3 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Βασικοί Λογικοί Τελεστές AND (επίσης:, ) OR (επίσης: +, ) NOT (επίσης:, ) υαδικοί (Binary) Mοναδιαίος (Unary) F(a,b) = a b, διαβ. F = αν και μόνο αν a=b= G(a,b) = a+b, διαβ. G = αν a = ήανb= H(a) = a, διαβ. H = aν a = Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 5 Βασικοί Λογικοί Τελεστές (συν.) Λογικό AND ενός bit (-bit), μοιάζει με δυαδικό πολλαπλασιασμό: =, =, =, = Λογικό OR ενός bit (-bit), μοιάζει με δυαδική πρόσθεση, εκτός από μία πράξη: + =, + =, + =, + = ( 2 ) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 6 Συνδιαστικά Λογικά Κυκλώματα 3

4 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Πίνακες Αληθείας (Truth Tables) για Λογικές Πράξεις Πίνακας Αληθείας: μορφή πίνακα που εκφράζει μοναδικά τη σχέση μεταξύ των μεταβλητών εισόδου μιας συνάρτησης και τωνεξόδωντης AND 2-Εισόδων A B F=A B OR 2-Εισόδων A B F=A+B NOT A F=A Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 7 Πίνακες Αληθείας (συν.) Ερώτηση: Η συνάρτησηf( ) εξαρτάται από n μεταβλητές. Πόσες γραμμές υπάρχουν στον αληθοπίνακα του F( ); Απάντηση: 2 n γραμμές, αφού υπάρχουν 2 n πιθανοί δυαδικοί συνδυασμοί (patterns) για n μεταβλητές Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 8 Συνδιαστικά Λογικά Κυκλώματα 4

5 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Λογικές Πύλες Οι λογικές πύλες είναι αφαιρετικά μοντέλα στοιχείων ηλεκτρονικών κυκλωμάτων που λειτουργούν με ένα ή περισσότερα σήματα εισόδου και παράγουν ένα σήμα εξόδου. AND 2-Εισόδων OR 2-Εισόδων NOT (Αντιστροφέας) A B F A G A H B F = A B G = A+B H = A Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 9 Χρονικό Σχεδιάγραμμα (Κυματομορφή -- Waveform) t t t 2 t 3 t 4 t 5 t 6 Σήματα εισόδου A B Μεταβάσεις Σήματα εξόδου πυλών F=A B G=A+B H=A Προϋπόθεση: Ο χρόνος μετάδοσης του σήματος μεταξύ πυλών είναι αμελητέος () Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - Συνδιαστικά Λογικά Κυκλώματα 5

6 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Συνδυαστικά Λογικά Κυκλώματα από Λογικές Συναρτήσεις Θεωρήστε την συνάρτηση F = A + B C + A B Ένα συνδυαστικό κύκλωμα μπορεί να κατασκευαστεί για την υλοποίηση της F, με την κατάλληλη ένωση σημάτων εισόδου και λογικών πυλών: Σήματα εισόδου από τις μεταβλητές της συνάρτησης (A, B, C) Σήματα εξόδου συνάρτηση εξόδου (F) Λογικές Πύλες από λογικές πράξεις C A F B Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - Συνδυαστικά Λογικά Κυκλώματα από Λογικές Συναρτήσεις (συν.) Για να σχεδιάσουμε ένα αποδοτικό κύκλωμα πρέπει να ελαχιστοποιήσουμε το μέγεθος του κυκλώματος (circuit size) και την καθυστέρηση διάδοσης (propagation delay = χρόνος που χρειάζεται ένα σήμα εισόδου να αλλάξει και να γίνει αντιληπτό στην έξοδο) Στον πίνακα αληθείας δίπλα: F = A + B C + A B και G=A + B C Οι πίνακες για τις F και G είναι οι ίδιοι ίδια συνάρτηση (F = G) Η G υλοποιεί την λογική του κυκλώματος (με λιγότερα στοιχεία) A B C F G Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 2 Συνδιαστικά Λογικά Κυκλώματα 6

7 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Συνδυαστικά Λογικά Κυκλώματα από Λογικές Συναρτήσεις (συν.) C A F B F = G C B A G Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 3 Άλγεβρα Boole Χρήσιμος μηχανισμός για τον χειρισμό / μετασχηματισμό (απλοποίηση) δυαδικών συναρτήσεων. George Boole (85-864): Μιαέρευναγιατους νόμους της σκέψης Ορολογία: Παράγοντας (Literal) : Μεταβλητήήτοσυμπλήρωμα της Όρος παραγόντων (Τerm): υλοποιούν μια πύλη Πολλαπλασιαστικός όρος (Product term): παράγοντες ενωμένοι με (AND) Αθροιστικός όρος (Sum term): παράγοντες ενωμένοι με + (OR) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 4 Συνδιαστικά Λογικά Κυκλώματα 7

8 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Αξιώματα Άλγεβρας Boole X: δυαδική μεταβλητή,,: σταθεροί. X + = X -- αξίωμα μηδενικότητας (ουδέτερο στοιχείο ως προς +) 2. X = X -- μοναδιαίο αξίωμα (ουδέτερο στοιχείο ως προς ) 3. X + = -- μοναδιαία ιδιότητα 4. X = -- ιδιότητα μηδενικότητας 5. X + X = -- Συμπλήρωμα (ως προς +) 6. X X = -- Συμπλήρωμα (ως προς ) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 5 Βασικά Θεωρήματα Boole X: δυαδική μεταβλητή,,: σταθεροί 7. X + X = X -- Idepotence (ως προς +) 8. X X = X -- Idepotence (ως προς ) 9. (X ) = X -- Involution (δύο αρνήσεις) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 6 Συνδιαστικά Λογικά Κυκλώματα 8

9 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Η αρχή του υϊσμού Ο δυϊσμός (dual) μιας έκφρασης παράγεται με την ανταλλαγή ( και +), και ( και ), δεδομένου ότι η σειρά των πράξεων δεν αλλάζει. ενμπορείναανταλλαχθείτο με Παράδειγμα: F(,y,z) = yz + y z O δυϊσμός (dual) της F είναι F dual = ( +y+z ) ( +y + z) Το dual δεν ισούται πάντα με την αρχική έκφραση. Εάν μια λογική εξίσωση/ισότητα είναι έγκυρη, τότε το dual της είναι και αυτό έγκυρο. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 7 Η αρχή του υϊσμού (συν.) Βάση της αρχής του δυϊσμού, οι ιδιότητες/θεωρήματα 8 έχουν τις ακόλουθες σχέσεις:. X + = X 2. X = X (dual του ) 3. X + = 4. X = (dual του 3) 5. X + X = X 6. X X = X (dual του 5) 7. X + X = 8. X X = (dual του 8) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 8 Συνδιαστικά Λογικά Κυκλώματα 9

10 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Άλλες Ιδιότητες/Θεωρήματα Άλγεβρας Boole Χ, Υ και Ζ: λογικές μεταβλητές. X + Y = Y + X. X Y = Y X --Αντιμεταθετική 2. X + (Y+Z) = (X+Y) + Z 3. X (Y Z) = (X Y) Z --Προσεταιριστικό 4. X (Y+Z) = X Y + X Z 5. X+(Y Z) = (X+Y) (X+Z) -- Επιμεριστική 6. (X + Y) = X Y 7. (X Y) = X + Y -- DeMorgan Γενικά, στο DeMorgan: ( Χ ι ) = (Χ ι ), π.χ. ( X + X X n ) = X X 2 X n i =..n ( Χ ι ) = (Χ ι ), π.χ. ( X X 2 X n ) = X + X X n i =..n i =..n i =..n Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 9 Θεώρημα Απορρόφησης (Absorption). + y = 2. (+y) = (δυϊσμός του.) Απόδειξη: + y = + y = (+y) = = Το 2 αληθές λόγω δυϊσμού από. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 2 Συνδιαστικά Λογικά Κυκλώματα

11 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Θεώρημα Ομοφωνίας (Consensus). y + z + yz = y + z 2. (+y) ( +z) (y+z) = (+y) ( +z) -- (dual) Απόδειξη: y + z + yz = y + z + (+ )yz = y + z + yz + yz = (y + yz) + ( z + zy) = y + z Το 2 αληθές λόγο δυϊσμού. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 2 Πίνακες Αληθείας (αναθεώρηση) Απαριθμεί όλους τους πιθανούς συνδυασμούς τιμών μεταβλητών και την ανάλογη τιμή συνάρτησης. Στα δεξιά βλέπουμε πίνακες αληθείας για τις τυχαίες συναρτήσεις F (,y,z), F 2 (,y,z), και F 3 (,y,z). y z F F 2 F 3 Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 22 Συνδιαστικά Λογικά Κυκλώματα

12 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Πίνακες Αληθείας (συν.) Πίνακας Αληθείας: μοναδική (κανονική = canonical) αναπαράσταση δυαδικών συναρτήσεων Εάν οι 2 συναρτήσεις έχουν τους ίδιους πίνακες αληθείας, οι συναρτήσεις είναι ισοδύναμες (ισχύει και αντιστρόφως). Οι πίνακες μπορούν να χρησιμοποιηθούν για την απόδειξη θεωρημάτων ισοδυναμίας. Τομέγεθοςενόςπίνακαμεγαλώνειεκθετικάβάση του αριθμού των μεταβλητών που εμπλέκονται. Επομένως, η χρήση δυαδικής άλγεβρας είναι πιο ελκυστική. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 23 Εκφράσεις Boole - ΟΧΙ μοναδικές Αντίθετα με τους πίνακες αληθείας, οι εκφράσεις που αντιπροσωπεύουν μια δυαδική συνάρτηση δεν είναι μοναδικές. Παράδειγμα: y z F G F(,y,z) = y z + y z + y z G(,y,z) = y z + y z Οι αντίστοιχοι πίνακες αληθείας για τις F() και G() φαίνονται στα δεξιά. Είναιοιίδιοι!!! Άρα, F() = G() Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 24 Συνδιαστικά Λογικά Κυκλώματα 2

13 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Αλγεβρικοί Μετασχηματισμοί Η δυαδική άλγεβρα είναι ένα χρήσιμο εργαλείο για την απλοποίηση ψηφιακών κυκλωμάτων. Γιατί; Απλούστερο συνήθως σημαίνει πιο φτηνό, μικρότερο, γρηγορότερο (διαφάνειες -3). Παράδειγμα: Απλοποίηση F = yz + yz + z. F = yz + yz + z = y(z+z ) + z = y + z = y + z Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 25 Αλγεβρικοί Μετασχηματισμοί (συν.) Παράδειγμα : Αποδείξετε ότι y z + yz + yz = z + yz Απόδειξη: y z + yz + yz = y z + yz + yz + yz = z (y +y) + yz ( +) = z + yz = z + yz Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 26 Συνδιαστικά Λογικά Κυκλώματα 3

14 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Το συμπλήρωμα μιας συνάρτησης (F F ) Το συμπλήρωμα μιας συνάρτησης παράγεται από την ανταλλαγή ( and +), και ( and ), και το συμπλήρωμα κάθε μεταβλητής (DeMorgan). Αλλιώς, ηανταλλαγή στην στήλη του πίνακα αληθείας της F δίνει την F Το συμπλήρωμα μιας συνάρτησης ΕΝ ΕΙΝΑΙ ΤΟ Ι ΙΟ με το δυϊσμό (dual) μιας συνάρτησης. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 27 Συμπλήρωμα: Παράδειγμα Βρείτε την G(,y,z), εάν αυτή είναι το συμπλήρωμα της F(,y,z) = y z + yz G = F = (y z + yz) = (y z ) ( yz) DeMorgan = ( +y+z) (+y +z ) DeMorgan ξανά Σημείωση: Το συμπλήρωμα μιας συνάρτησης μπορεί να παραχθεί με την εύρεση του δυϊσμού της συνάρτησης, και ακολούθως παίρνοντας το συμπλήρωμα όλων των literals (παραγόντων). Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 28 Συνδιαστικά Λογικά Κυκλώματα 4

15 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Κανονικές (Canonical) και Πρότυπες (Standard) Μορφές Χρειαζόμαστε τυποποιημένες τεχνικές για την απλοποίηση δυαδικών συναρτήσεων. Ελαχιστόροι και Μεγιστόροι Άθροισμα ελαχιστόρων & Γινόμενο Μεγιστόρων Γινόμενο και Άθροισμα όρων Άθροισμα Γινομένων (Sum-of-Products -- SOP) και Γινόμενο Αθροισμάτων (Product-of-Sums -- POS) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 29 Ορισμοί Παράγοντας: Μεταβλητή ή το συμπλήρωμα της Αθροιστικός όρος: παράγοντες ενωμένοι με + Πολ/σκός όρος: παράγοντες ενωμένοι με Ελαχιστόρος (Minterm): πολ/κός όρος στον οποίο όλες οι μεταβλητές εμφανίζονται ακριβώς φορά, με κανονική ή συμπληρωματική μορφή Μεγιστόρος (Materm): αθροιστικός όρος στον οποίο όλες οι μεταβλητές εμφανίζονται ακριβώς φορά, με κανονική ή συμπληρωματική μορφή Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 3 Συνδιαστικά Λογικά Κυκλώματα 5

16 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Ελαχιστόρος (Minterm) Αντιπροσωπεύει ακριβώς ένα συνδυασμό στον πίνακα αληθείας. Συμβολίζεται με m j, όπου j είναι το δεκαδικό ισοδύναμο του ελαχιστόρου του αντίστοιχου δυαδικού συνδυασμού (b j ). Μια μεταβλητή στο m j είναι συμπληρωματική εάν η τιμή της στο b j είναι, αλλιώς είναι κανονική. Παράδειγμα: Υποθέστε 3 μεταβλητές (A,B,C), και j =3. Τότε, b j = και ο αντίστοιχος ελαχιστόρος συμβολίζεται με m j = A BC Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 3 Μεγιστόρος (Materm) Αντιπροσωπεύει ακριβώς ένα συνδυασμό στον πίνακα αληθείας. Συμβολίζεται με M j, όπου j είναι το δεκαδικό ισοδύναμο του μεγιστόρου του αντίστοιχου δυαδικού συνδυασμού (b j ). Μια μεταβλητή στο M j είναι συμπληρωματική εάν η τιμή της στο b j είναι, αλλιώς είναι κανονική. Παράδειγμα: Υποθέστε 3 μεταβλητές (A,B,C), και j =3. Τότε, b j = και ο αντίστοιχος μεγιστόρος συμβολίζεται με M j = A+B +C Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 32 Συνδιαστικά Λογικά Κυκλώματα 6

17 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Ορισμοί Πινάκων για Ελαχιστόρους και Μεγιστόρους Οι ελαχιστόροι και οι μεγιστόροι είναι εύκολο να αναπαρασταθούν χρησιμοποιώντας πίνακα αληθείας. Παράδειγμα: Υποθέτουμε 3 μεταβλητές < y< z (< υπονοεί τη διάταξη των μεταβλητών) y z Minterm y z = m y z = m yz = m 2 yz = m 3 y z = m 4 y z = m 5 yz = m 6 yz = m 7 Materm +y+z = M +y+z = M +y +z = M 2 +y +z = M 3 +y+z = M 4 +y+z = M 5 +y +z = M 6 +y +z = M 7 Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 33 Κανονικές (Canonical) Μορφές Οποιαδήποτε δυαδική συνάρτηση F( ) μπορεί να εκφραστεί ως ένα μοναδικό άθροισμα ελαχιστόρων και ένα μοναδικό γινόμενο μεγιστόρων (με μια συγκεκριμένη διάταξη μεταβλητών). Μα άλλα λόγια, κάθε συνάρτηση F( ) έχει 2 κανονικές μορφές: Κανονικό SOP (άθροισμα ελαχιστόρων) Κανονικό POS (γινόμενο μεγιστόρων) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 34 Συνδιαστικά Λογικά Κυκλώματα 7

18 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Κανονικές Μορφές (συν.) Κανονικό SOP : Οι ελαχιστόροι που συμπεριλαμβάνονται είναι οι m j, έτσι ώστε F( ) = στην γραμμή j του πίνακα αληθείας της F( ). Κανονικό POS : Οι μεγιστόροι που συμπεριλαμβάνονται είναι οι M j, έτσι ώστε F( ) = στην γραμμή j του αληθοπίνακα της F( ). Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 35 Παράδειγμα f (a,b,c) a b c ΗκανονικήSOP μορφή της f ( ) είναι f (a,b,c) = m + m 2 + m 4 + m 6 = a b c + a bc + ab c + abc ΗκανονικήPOS μορφή της f ( ) είναι f (a,b,c) = M M 3 M 5 M 7 = (a+b+c) (a+b +c ) (a +b+c ) (a +b +c ) Παρατηρήστε ότι: m j = (M j ) f Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 36 Συνδιαστικά Λογικά Κυκλώματα 8

19 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Χρησιμοποιούμε: και f (a,b,c) = m(,2,4,6), όπου δείχνει ότι το f είναι μια SOP μορφή, και m(,2,4,6) δείχνει ότι οι ελαχιστόροι που συμπεριλαμβάνονται είναι οι m, m 2, m 4 και m 6. f (a,b,c) = M(,3,5,7), όπου δείχνει ότι το f είναι μια POS μορφή, και M(,3,5,7) δείχνει ότι οι μεγιστόροι που συμπεριλαμβάνονται είναι οι M, M 3, M 5 και M 7. Αφού m j = (M j ) για κάθε j, τότε m(,2,4,6) = M(,3,5,7) = f (a,b,c) ώστε την απόδειξη Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 37 Μετατροπή μεταξύ Κανονικών μορφών Αντιστρέφουμε τα με (ή αντίθετα) και αντικαθιστούμε τα j που εμφανίζονται στην αρχική μορφή με αυτά που δεν εμφανίζονται. Παράδειγμα: f (a,b,c) = a b c + a bc + ab c + abc = m + m 2 + m 4 + m 6 = (,2,4,6) = (,3,5,7) = (a+b+c) (a+b +c ) (a +b+c ) (a +b +c ) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 38 Συνδιαστικά Λογικά Κυκλώματα 9

20 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Πρότυπες (Standard) Μορφές (Όχι μοναδικές) Οι πρότυπες μορφές είναι «όπως» τις κανονικές μορφές, με εξαίρεση ότι δεν είναι απαραίτητο για όλες τις μεταβλητές να εμφανιστούν σε ένα γινόμενο (SOP) ή άθροισμα (POS) ορών. Παράδειγμα: f (a,b,c) = a b c + bc + ac είναι μια πρότυπη SOP μορφή f (a,b,c) = (a+b+c) (b +c ) (a +c ) είναι μια πρότυπη POS μορφή. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 39 Μετατροπή SOP από πρότυπη σε κανονική μορφή Επέκταση μη-κανονικών όρων με την εισαγωγή εκφράσεων ισοδύναμων σε, για κάθε μεταβλητή που λείπει: ( + ) = Αφαίρεση διπλότυπων ελαχιστόρων Π.χ. f (a,b,c) = a b c + bc + ac = a b c + (a+a )bc + a(b+b )c = a b c + abc + a bc + abc + ab c = a b c + abc + a bc + ab c Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 4 Συνδιαστικά Λογικά Κυκλώματα 2

21 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Μετατροπή POS από πρότυπη σε κανονική μορφή Επέκταση μη-κανονικών όρων με την εισαγωγή εκφράσεων ισοδύναμων σε, για κάθε μεταβλητή που λείπει: ( ) = Επιμεριστική ιδιότητα Αφαίρεση διπλότυπων μεγιστόρων Π.χ. f (a,b,c) = (a+b+c) (b +c ) (a +c ) = (a+b+c) (aa +b +c ) (a +bb +c ) = (a+b+c) (a+b +c ) (a +b +c ) (a +b+c ) (a +b +c ) = (a+b+c) (a+b +c ) (a +b +c ) (a +b+c ) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 4 Χάρτες Karnaugh Οι χάρτες Κarnaugh (K-χάρτες) είναι γραφικές αναπαραστάσεις δυαδικών συναρτήσεων. Χρησιμοποιούνται ως εργαλεία ελαχιστοποίησης (σε κυκλώματα δύο επιπέδων). Εκτίμηση Κόστους (Συνάρτηση Λογικό Κύκλωμα) : αρ. παραγόντων αρ. εισόδων πυλών αρ. όρων αρ. πυλών, αρ. εισόδων πυλών Βάθος παρενθέσεων αρ. επιπέδων Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 42 Συνδιαστικά Λογικά Κυκλώματα 2

22 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Χάρτες Karnaugh (συν.) Ένας χάρτης Κarnaugh αποτελείται από 2 n κελιά, για μια συνάρτηση με n μεταβλητές. Κάθε κελί αντιπροσωπεύει μία μόνο γραμμή στον πίνακα αληθείας. ένα κελί αντιστοιχεί σε ένα ελαχιστόρο ή μεγιστόρο της δυαδικής συνάρτησης. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 43 Κ-Χάρτης 2 Μεταβλητών 2 m 2 3 m 2 m m 3 ή 2 2 m 3 m m 2 m 3 Σημείωση: η σειρά των μεταβλητών είναι ΣΗΜΑΝΤΙΚΗ για το f(, 2 ), όπου είναι η γραμμή, 2 είναι η στήλη. Το κελί είναι το 2. Το κελί είναι ο όρος 2, κτλ. Εάν ένας ελαχιστόρος είναι σε μια συνάρτηση, τότε το μπαίνει στο ανάλογο κελί. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 44 Συνδιαστικά Λογικά Κυκλώματα 22

23 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Κ-Χάρτης 2 Μεταβλητών (συν.) Κάθε 2 διπλανά κελιά (δεξιά-αριστερά-κάτωπάνω) στο χάρτη διαφέρουν ΜΟΝΟ κατά μία τιμή μεταβλητής, που εμφανίζεται συμπληρωματική σε ένα κελί και μησυμπληρωματική σε άλλο κελί. Παράδειγμα: m (= 2 ) είναι γειτονικό του m (= 2 ) και του m 2 (= 2 ), αλλά ΟΧΙ του m 3 (= 2 ) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 45 Κ-Χάρτης 2 Μεταβλητών Παράδειγμα f(, 2 ) = = m + m + m 2 = + 2 Το τοποθετείται στον K-χάρτη για τους ελαχιστόρους m, m, m 2 Ομαδοποίηση (ORing) των γειτονικών κελιών με επιτρέπει απλοποίηση Ποία (απλούστερη) συνάρτηση αντιπροσωπεύεται σε κάθε διακεκομμένο σχήμα? g( ) = m + m = h( ) = m + m 2 = 2 f(, 2 ) = + 2 Σημειώστε ότι το m καλύπτεται 2 φορές Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 46 Συνδιαστικά Λογικά Κυκλώματα 23

24 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Κ-Χάρτης 3 ων Μεταβλητών yz 3 2 m m m m 4 m 5 m 7 m 2 m 6 - Σημείωση: η σειρά των μεταβλητών είναι (,y,z); yz αντιστοιχεί στη στήλη, αντιστοιχεί στη γραμμή. - Κάθε κελί είναι γειτονικό με τρία άλλα κελιά (αριστερά ή δεξιά ή πάνω ή κάτω ή κυκλική ακμή (edge wrap)) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 47 Κ-Χάρτης 3 ων Μεταβλητών (συν.) Οι τύποι των δομών που είναι είτε ελαχιστόροι ή παράχθηκαν από την επανάληψη του θεωρήματος ελαχιστοποίησης σε ένα χάρτη 3 μεταβλητών δίνονται στα δεξιά. ομάδα 2 όρων Ομάδες των, 2, 4, 8 είναι πιθανές. ομάδα 4 ων όρων ελαχιστόρος Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 48 Συνδιαστικά Λογικά Κυκλώματα 24

25 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Ελαχιστοποίηση SOP από κανονική σε πρότυπη μορφή χρησιμοποιώντας K-χάρτη Βάζουμε στον K-χάρτη για κάθε όρο γινομένου της συνάρτησης (κανονικό SOP) Για ένα όρο γινομένου με πιο λίγες μεταβλητές, ομαδοποιούμε γειτονικά κελιά που περιέχουν. Οι ομάδες πρέπει να είναι στην δύναμη του 2 (2, 4, 8, ) Εξετάζουμε και τα boundary wraps για K-χάρτες 3 ων ή περισσοτέρων μεταβλητών. Η απάντηση μπορεί να μην είναι μοναδική (μηκανονική)! πρότυπο SOP Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 49 Ελαχιστοποίηση Βάλτε τους ελαχιστόρους της δυαδικής συνάρτησης στο χάρτη και ακολούθως ομαδοποιήστε τους όρους Παράδειγμα: f(a,b,c) = a c + abc + bc Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 5 Συνδιαστικά Λογικά Κυκλώματα 25

26 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Ελαχιστοποίηση Βάλτε τους ελαχιστόρους της δυαδικής συνάρτησης στο χάρτη και ακολούθως ομαδοποιήστε τους όρους Παράδειγμα: f(a,b,c) = a c + abc + bc a bc Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 5 Ελαχιστοποίηση Βάλτε τους ελαχιστόρους της δυαδικής συνάρτησης στο χάρτη και ακολούθως ομαδοποιήστε τους όρους Παράδειγμα: f(a,b,c) = a c + abc + bc Αποτέλεσμα: f(a,b,c) = a c+ b a bc a bc Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 52 Συνδιαστικά Λογικά Κυκλώματα 26

27 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Άλλα Παραδείγματα f (, y, z) = m(2,3,5,7) f (, y, z) = y + z yz X yz f 2 (, y, z) = m (,,2,3,6) f 2 (, y, z) = +yz X Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 53 YZ WX Κ-Χάρτης 4 ων -Μεταβλητών m m m 3 m 2 m 4 m 5 m 7 m 6 m 2 m 3 m 5 m 4 m 8 m 9 m m Τα κελιά της ης γραμμής είναι γειτονικά με αυτά της 4ης. Τα κελιά της ης στήλης είναι γειτονικά με αυτά της 4ης. Η σειρά των μεταβλητών είναι: (WXYZ). Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 54 Συνδιαστικά Λογικά Κυκλώματα 27

28 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Απλοποίηση Κ-Χαρτών 4 ων -Μεταβλητών Ένα κελί αντιπροσωπεύει ένα ελαχιστόρο με 4 παράγοντες. Ένα ορθογώνιο 2 γειτονικών κελιών αντιπροσωπεύει ένα όρο γινομένου με 3 παράγοντες. Ένα ορθογώνιο 4ων γειτονικών κελιών αντιπροσωπεύει ένα όρο με 2 παράγοντες. Ένα ορθογώνιο 8 γειτονικών κελιών αντιπροσωπεύει ένα όρο με παράγοντα. Ένα ορθογώνιο 6 γειτονικών κελιών παράγει μια συνάρτηση ίση με το λογικό. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 55 Παράδειγμα Απλοποιήστε την δυαδική συνάρτηση g(a,b,c,d) = m(,,2,4,5,7,8,9,,2,3). Πρώτα βάλτε την συνάρτηση g( ) στον χάρτη, και ακολούθως ομαδοποιήστε όσα πιο πολλά κελιά με. ab cd g(a,b,c,d) = c +b d +a bd Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 56 Συνδιαστικά Λογικά Κυκλώματα 28

29 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Κ-Χάρτης 5 Μεταβλητών BC DE DE BC A= ABCDE 8 9 A= A BCDE Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 57 Implicants και Prime Implicants (PIs) Ένας Implicant (Ι) μιας συνάρτησης F( ) είναι ένας όρος που υπονοεί την F( ), με άλλα λόγια, F(Ι) = Ένας implicant της F( ) ονομάζεται Prime Implicant (PI) εάν (i) είναι Implicant, και (ii) κάθε όρος γινομένου που παράγεται από την διαγραφή ενός παράγοντα του PI, δεν είναι implicant της F( ) Άρα, ένας Prime Implicant δεν περιέχεται σε πιο μεγάλο (= με λιγότερους παράγοντες) implicant Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 58 Συνδιαστικά Λογικά Κυκλώματα 29

30 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Παράδειγμα Θεωρήστε την συνάρτηση f(a,b,c,d) της οποίας ο K-χάρτης φαίνεται δεξιά. Το a b δεν είναι prime implicant cd ab γιατί περιέχεται στο b. Το acd δεν είναι prime implicant γιατί περιέχεται στο ad. Τα b, ad, and a cd είναι prime a b implicants. a cd b ad acd Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 59 Essential Prime Implicants (EPIs) Εάν ένας ελαχιστόρος μιας συνάρτησης F( ) περιέχεται σε ΜΟΝΟ prime implicant p, τότε ο p είναι Essential Prime Implicant (EPI) της F( ). Ένας EPI πρέπει να εμφανίζεται σε όλες τις πιθανές SOP εκφράσεις μιας συνάρτησης. Καθορισμός EPI: Παρατάξετε όλους τους prime implicants μιας συνάρτησης. ιαλέξτε τους prime implicants που περιέχουν τουλάχιστον όρο που δεν έχει καλυφθεί από άλλο prime implicant. Για το προηγούμενο παράδειγμα, οι PI είναι τα b, ad, και a cd. Όλοι είναι Essential. a cd b ad Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 6 Συνδιαστικά Λογικά Κυκλώματα 3

31 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Άλλο Παράδειγμα Θεωρήστε την f 2 (a,b,c,d), της οποίας ο K- χάρτης φαίνεται πιο κάτω. Το μοναδικό essential PI (EPI) είναι το b d. cd ab Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 6 Συστηματική διαδικασία για την απλοποίηση δυαδικών συναρτήσεων. Βρέστε όλα τα PI της συνάρτησης. 2. ΚρατήστεόλαταΕssential PIs (EPIs). 3. Για τους ελαχιστόρους που δεν περιέχονται στα EPIs, κρατήστε ένα σύνολο άλλων PIs που να τους καλύπτει, με την πιο μικρή επικάλυψη συνόλου. 4. Ηπαραγόμενηαπλοποιημένησυνάρτησηείναι το λογικό OR των όρων γινομένου (PIs και EPIs) που έχουν κρατηθεί. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 62 Συνδιαστικά Λογικά Κυκλώματα 3

32 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Παράδειγμα f(a,b,c,d) = m(,,2,3,4,5,7,4,5). ab cd 5 ομαδοποιημένοι όροι (PIs), δεν χρειάζονται όλοι. 3 σκιασμένα κελιά καλύφτηκαν από όρο ΜΟΝΟΝ 3 EPIs Ο ελαχιστόρος a bcd είναι ο μόνος που δεν έχει καλυφθεί F(a,b,c,d) = a b + a c + a d + abc ή F(a,b,c,d) = a b + a c + bcd + abc Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 63 Γινόμενο Αθροισμάτων (POS) Απλοποίηση Απλοποιήστε το SOP στα μηδενικά () της συνάρτησης F( ) στον K-χάρτη για να πάρετε το συμπλήρωμα της, F( ). Βρέστε το συμπλήρωμα της F( ), δηλαδή (F ) = F Το συμπλήρωμα μιας δυαδικής συνάρτησης μπορεί να παραχθεί με 2 τρόπους: () υϊσμό και μετά συμπλήρωμα κάθε παράγοντα. (2) Θεώρημα DeMorgan s. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 64 Συνδιαστικά Λογικά Κυκλώματα 32

33 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Παράδειγμα Απλοποίησης POS ab cd SOP(F(a,b,c,d)) = a b + a c + abc + bcd SOP(F (a,b,c,d)) = ab + ac + a bcd dual(f ) = (a+b )(a+c )(a +b+c+d ) Συμπλήρωμα των παραγόντων στο dual(f ) δίνει: POS(F(a,b,c,d)) = (a +b)(a +c)(a+b +c +d) (αυτό είναι το ίδιο με την διαφάνεια 62) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 65 Συνθήκες Αδιαφορίας (Don t care Conditions) Μπορεί να υπάρχει συνδυασμός εισόδων που δεν θα εμφανιστεί ποτέ αν εμφανιστεί, η τιμές στις εξόδους είναι αδιάφορες Ητιμήμιαςτέτοιαςμεταβλητήςείναιαδιάφορη ( don't care). Συμβολίζεται με ή. Κάθε μεταβλητή ίση με μπορείναπάρειτηντιμή ή τυχαία σε μια υλοποίηση. Αδιάφορες μεταβλητές χρησιμοποιούνται και για την απλοποίηση συναρτήσεων. Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 66 Συνδιαστικά Λογικά Κυκλώματα 33

34 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Ελαχιστοποίηση χρησιμοποιώντας Don t Cares Θεωρήστε τα don't cares ως για να παράξετε PIs. ιαγράψτε PIs που καλύπτουν μόνο don't care ελαχιστόρους. Οι υπόλοιποι don't care ελαχιστόροι καλύπτονται προαιρετικά (δηλαδή, μπορεί να καλυφτούν ή μπορεί και όχι). Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 67 ab Παράδειγμα cd Απλοποιήστε τη συνάρτηση f(a,b,c,d) = m(,2,4,5,6,8,9) και f(a,b,c,d) = d(,,4,5), της οποίας ο K-χάρτης φαίνεται στα δεξιά. f =ab + cd + a c d + a bc ή f = ab + cd + a c d + a bd Οι πρώτοι 2 όροι είναι EPIs, ενώ οι τελευταίοι 2 όροι επιλέγονται για να καλύψουν τους ελαχιστόρους m, m 4, and m 5. (Υπάρχουν ακόμη 2 άλλες λύσεις!!!) Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 68 Συνδιαστικά Λογικά Κυκλώματα 34

35 ΗΜΥ 2: Λογικός Σχεδιασμός, Χειμερινό Εξάμηνο 28 Σεπτέμβριος 8 Άλλο Παράδειγμα Απλοποιήστε την συνάρτηση: g(a,b,c,d) = m(,4,2,4) και g(a,b,c,d) = d(,5,6,9,,3,5) ab cd g = a c + ab ή g = a c +b d Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 69 Αλγοριθμική Ελαχιστοποίηση Τι κάνουμε για συναρτήσεις που έχουν περισσότερες από 4-5 μεταβλητές; Χρησιμοποιούμε διαδικασίες/αλγόριθμους ελαχιστοποίησης που μπορούν να προγραμματιστούν = Computer-Aided Design (CAD) π.χ. Αλγόριθμος Quine-McCluskey (βλέπε σημειώσεις) π.χ. Espresso Σεπτέμβριος 8 Συνδιαστικά Λογικά Κυκλώματα MKM - 7 Συνδιαστικά Λογικά Κυκλώματα 35