Οι Διδάσκοντες Αντώνης Πασχάλης, Καθηγητής, Θεωρία Γραφείο: A39 (Α όροφος) Τηλ. 210-7275231 E-mail: paschali@di.uoa.gr Χρήστος Κρανιώτης, ΕEΔΙΠ, Εργαστήριο Γραφείο: Εργαστήριο Ψηφιακής Σχεδίασης και Αρχιτεκτονικής Υπολογιστών (προαύλιο, δίπλα στην αίθουσα Ζ) Τηλ. 210-7275222 E-mail: christos@di.uoa.gr
Παράλληλες Πηγές Μελέτης ΘΕΩΡΙΑ 1 από 2 Τίτλος: ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ Κωδικός Βιβλίου στον Εύδοξο: 9783 Έκδοση: 4η έκδ./2010 Συγγραφείς: Mano Morris, Ciletti Michael ISBN: 978-960-7182-66-1 Τύπος: Σύγγραμμα Διαθέτης (Εκδότης): Α. ΠΑΠΑΣΩΤΗΡΙΟΥ & ΣΙΑ ΟΕ
Παράλληλες Πηγές Μελέτης ΘΕΩΡΙΑ 2 από 2 Τίτλος: ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ: ΑΡΧΕΣ ΚΑΙ ΠΡΑΚΤΙΚΕΣ Κωδικός Βιβλίου στον Εύδοξο: 13946 Έκδοση: 3η/2004 Συγγραφείς: JOHN F. WAKERLY ISBN: 960-209-728-0 Τύπος: Σύγγραμμα Διαθέτης (Εκδότης): ΕΚΔΟΣΕΙΣ ΚΛΕΙΔΑΡΙΘΜΟΣ ΕΠΕ
Παράλληλες Πηγές Μελέτης ΕΡΓΑΣΤΗΡΙΟ Τίτλος: ΣΧΕΔΙΑΣΗ ΨΗΦΙΑΚΩΝ ΚΥΚΛΩΜΑΤΩΝ Κωδικός Βιβλίου στον Εύδοξο: 12209 Έκδοση: 1η έκδ./2009 Συγγραφείς: Κρανιώτης Χρήστος Δ. ISBN: 978-960-531-245-9 Τύπος: Σύγγραμμα Διαθέτης (Εκδότης): ΔΙΑΥΛΟΣ Α.Ε. ΕΚΔΟΣΕΙΣ ΒΙΒΛΙΩΝ
Βιβλιογραφία Άλλες Πηγές Μελέτης Το μάθημα στο Διαδίκτυο http://dscal.di.uoa.gr (GR Μαθήματα) user name : logicdesign password : pandora ΕΚΕΙ ΘΑ ΒΡΕΙΤΕ ΤΙΣ «ΠΑΝΕΠΙΣΤΗΜΙΑΚΕΣ ΔΙΑΛΕΞΕΙΣ» Άρθρα από τα πιο έγκυρα διεθνή επιστημονικά περιοδικά του ΙΕΕΕ (Προαιρετικό) ΙΕΕΕ Spectrum (www.spectrum.ieee.org) IEEE Computer (computer.org/computer) IEEE Design & Test (computer.org/dt)
Το Ρητό του Μαθήματος Συνδυασμός κατανόησης βασικών αρχών στο μάθημα και πραγματικής υλοποίησης στο εργαστήριο σύμφωναμετοαρχαίοκινέζικορητό: Ακούω και ξεχνώ, βλέπω και θυμάμαι, εφαρμόζω και κατανοώ μαθαίνω
Πανεπιστήμιο έναντι ΛΥΚΕΙΟΥ (Πως αποφεύγετε την αποτυχία) ΛΥΚΕΙΟ ΤΑΙΡΙΑΣΜΑ ΚΑΤΕΥΘΥΝΟΜΕΝΗ ΜΕΛΕΤΗ ΣΥΝΕΧΗΣ ΕΠΙΒΛΕΨΗ ΜΙΚΡΗ ΥΛΗ ΠΑΡΟΥΣΙΑ ΣΤΟ ΜΑΘΗΜΑ ΜΕΤΑ ΑΠΟ ΔΙΑΒΑΣΜΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΣΥΛΛΟΓΙΣΜΟΣ ΕΛΕΥΘΕΡΗ ΜΕΛΕΤΗ ΑΥΤΕΠΙΣΤΑΣΙΑ ΜΕΓΑΛΗ ΥΛΗ ΠΑΡΟΥΣΙΑ ΣΤΟ ΜΑΘΗΜΑ ΜΕΤΑ ΑΠΟ ΔΙΑΒΑΣΜΑ
Ενότητα 1 ΤΕΧΝΟΛΟΓΙΑ ΨΗΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ
Γενικές Γραμμές Περί Ψηφιακών Συστημάτων Μαθηματική Λογική - Λογική Σχεδίαση Βασικές Λογικές Πύλες AND, OR, NOT Τεχνολογία Υλοποίησης VLSI κυκλώματα - System on Chip (SOC) Τεχνολογία Ψηφιακής Σχεδίασης Δεν ακολουθώ κάποιο βιβλίο
Ψηφιακά Συστήματα (Ψ. Σ.) Επεξεργάζονται δυαδικά ηλεκτρικά σήματα Τα δυαδικά σήματα λαμβάνουν δύο μόνο τιμές : το Λογικό-0 (π.χ., από 0 Volt μέχρι 1 Volt περίπου), και το Λογικό-1 (π.χ., από περίπου 4 Volts μέχρι 5 Volts) +5 +4 +1 +0 Volts 1 0 1 0 nsec ΛΟΓΙΚΟ-1 ΛΟΓΙΚΟ-0 μεταβατική περιοχή
Αναλογικά Συστήματα (Α. Σ.) Επεξεργάζονται συνεχή ηλεκτρικά σήματα, που μεταβάλλονται σαν συναρτήσεις του χρόνου +5 +4 +3 +2 +1 +0 Volts nsec
H Ψηφιακή Επανάσταση (I) Συστήματα Υπολογιστών Συστήματα Eπικοινωνιών Συστήματα Επεξεργασίας Σήματος Συστήματα Ελέγχου ψηφιακή επεξεργασία δεδομένων ψηφιακήλήψηδεδομένων ψηφιακή απόκριση αναλογική λήψη δεδομένων μετατροπή της πληροφορίας από αναλογική σε ψηφιακή με Analog to Digital Converter ADC (δειγματοληψία + κβαντοποίηση) αναλογική απόκριση Volts +5 +4 +3 +2 +1 +0 μετατροπή της πληροφορίας από ψηφιακή σε αναλογική με Digital to Analog Converter - DAC nsec
H Ψηφιακή Επανάσταση (II) Η ψηφιακή επανάσταση εξαπλώθηκε σε πολλούς τομείς τηςκαθημερινήςμαςζωήςτηντελευταίαείκοσιχρόνια Παραδείγματα ψηφιακών συστημάτων που ήσαν παλαιότερα αναλογικά συστήματα Φωτογραφική μηχανή Εγγραφή ήχου (CD) και βίντεο (DVD) Καρμπιρατέρ (και όχι μόνο...) αυτοκινήτου Τηλεφωνικό σύστημα Φωτεινοί σηματοδότες Κινηματογραφικά εφέ
Πλεονεκτήματα των Ψηφιακών Συστημάτων Ακρίβεια στην αναπαραγωγή των αποτελεσμάτων Μικρή ευαισθησία σε θερμοκρασία, τάση τροφοδοσίας Ευκολία στη σχεδίαση, ευελιξία και λειτουργικότητα Λογική σχεδίαση χωρίς ιδιαίτερες μαθηματικές γνώσεις Δυνατότητα προγραμματισμού Διατάξεις Προγραμματιζόμενης λογικής (Programmable Logic Devices - PLDs) Γλώσσες Περιγραφής Υλικού (Hardware Description Languages HDL) Υψηλή συχνότητα λειτουργίας Επεξεργαστές σε GΗz Υψηλή απόδοση με χαμηλό κόστος Systems on Chip (SOC) Σταθερά εξελισσόμενη τεχνολογία
Μαθηματική Λογική (Ι) Λογικές μεταβλητές (Α, Β) Λογικές τιμές (ΑΛΗΘΕΣ και ΨΕΥΔΕΣ) Λογικές πράξεις (ΚΑΙ, Η, ΟΧΙ) Λογικές εκφράσεις (ΕΑΝ-ΤΟΤΕ)
Μαθηματική Λογική (ΙΙ) Λογική πράξη (Α ΚΑΙ Β) - (Α ΑΝD Β) ΕΑΝ (Α = ΨΕΥΔΕΣ) ΚΑΙ (Β = ΨΕΥΔΕΣ) ΤΟΤΕ Ζ = ΨΕΥΔΕΣ ΕΑΝ (Α = ΨΕΥΔΕΣ) ΚΑΙ (Β = ΑΛΗΘΕΣ) ΤΟΤΕ Ζ = ΨΕΥΔΕΣ ΕΑΝ (Α = ΑΛΗΘΕΣ) ΚΑΙ (Β = ΨΕΥΔΕΣ) ΤΟΤΕ Ζ = ΨΕΥΔΕΣ ΕΑΝ (Α = ΑΛΗΘΕΣ) ΚΑΙ (Β = ΑΛΗΘΕΣ) ΤΟΤΕ Ζ = ΑΛΗΘΕΣ
Μαθηματική Λογική (ΙΙΙ) Λογική πράξη (Α ΚΑΙ Β) - (Α ΑΝD Β) ΕΑΝ δεν πάρω τη βάση στη θεωρία ΚΑΙ δεν πάρω τη βάση στο εργαστήριο ΤΟΤΕ δεν περνώ το μάθημα ΕΑΝ δεν πάρω τη βάση στη θεωρία ΚΑΙ πάρω τη βάση στο εργαστήριο ΤΟΤΕ δεν περνώ το μάθημα ΕΑΝ πάρω τη βάση στη θεωρία ΚΑΙ δεν πάρω τη βάση στο εργαστήριο ΤΟΤΕ δεν περνώ το μάθημα ΕΑΝ πάρω τη βάση στη θεωρία ΚΑΙ πάρω τη βάση στο εργαστήριο ΤΟΤΕ περνώ το μάθημα
Μαθηματική Λογική (ΙV) Λογική πράξη (Α Ή Β) - (Α ΟR Β) ΕΑΝ (Α = ΨΕΥΔΕΣ) Ή (Β = ΨΕΥΔΕΣ) ΤΟΤΕ Ζ = ΨΕΥΔΕΣ ΕΑΝ (Α = ΨΕΥΔΕΣ) Ή (Β = ΑΛΗΘΕΣ) ΤΟΤΕ Ζ = ΑΛΗΘΕΣ ΕΑΝ (Α = ΑΛΗΘΕΣ) Ή (Β = ΨΕΥΔΕΣ) ΤΟΤΕ Ζ = ΑΛΗΘΕΣ ΕΑΝ (Α = ΑΛΗΘΕΣ) Ή (Β = ΑΛΗΘΕΣ) ΤΟΤΕ Ζ = ΑΛΗΘΕΣ
Μαθηματική Λογική (V) Λογική πράξη (Α Η Β) - (Α ΟR Β) ΕΑΝ δεν πεινάω Η δεν διψάω ΤΟΤΕ δεν θα πάω στην καντίνα ΕΑΝ δεν πεινάω Η διψάω ΤΟΤΕ θα πάω στην καντίνα ΕΑΝ πεινάω Η δεν διψάω ΤΟΤΕ θα πάω στην καντίνα ΕΑΝ πεινάω Η διψάω ΤΟΤΕ θα πάω στην καντίνα
Μαθηματική Λογική (VΙ) Λογική πράξη (OXI Α) - (NOT Α) ΕΑΝ Α = ΨΕΥΔΕΣ ΤΟΤΕ OXI A = ΑΛΗΘΕΣ ΕΑΝ Α = ΑΛΗΘΕΣ ΤΟΤΕ OXI A = ΨΕΥΔΕΣ ΟΧΙ δεν πεινάω = πεινάω ΟΧΙ πεινάω = δεν πεινάω
Λογική Σχεδίαση Ψηφιακών Συστημάτων Εφαρμογή της μαθηματικής λογικής στη λογική σχεδίαση των ψηφιακών συστημάτων (ονομάζεται και ψηφιακή σχεδίαση) λογική μεταβλητή δυαδικό σήμα λογική τιμή ΑΛΗΘΕΣ λογικό-1 (θετική λογική...) λογική τιμή ΨΕΥΔΕΣ λογικό-0 (θετική λογική...) λογική πράξη ΚΑΙ λογική πύλη AND λογική πράξη Ή λογική πύλη ΟR λογική πράξη OXI λογική πύλη NOT
Βασική Λογική Πύλη ΑΝD Α Β Α Β 0 1 1 1 0 1 Ζ Ζ Α Β Ζ 0 0 0 0 1 0 1 0 0 1 1 1 πίνακας αλήθειας Ζ = Α ΑΝD B ή Ζ= A B ή Ζ= ΑΒ (λογικό γινόμενο )
Βασική Λογική Πύλη OR Α Β Α Β 0 1 0 0 1 0 Ζ Ζ Α Β Ζ 0 0 0 0 1 1 1 0 1 1 1 1 πίνακας αλήθειας Ζ = Α OR B ή Ζ= A+B (λογική πρόσθεση )
Βασική Λογική Πύλη NOT Α Ζ Α Z 0 1 1 0 Αντιστροφέας (inverter) πίνακας αλήθειας Z = NOT A ή Ζ= Α ήζ= Α (συμπλήρωμα)
Πύλες με Περισσότερες από Δύο Εισόδους Οι λογικές πύλες AND και OR μπορούν να έχουν και περισσότερες από δύο εισόδους Α Β C Α Β C D Ζ = A+B+C Ζ = ABCD
Λογικά Κυκλώματα Αποτελούνται από λογικές πύλες Λαμβάνουν δυαδικά σήματα Α i (i=1,2,..n) Παράγουν δυαδικά σήματα Ζ k (k=1,2,..m) Υλοποιούν λογικές συναρτήσεις F k Χωρίζονται σε δύο μεγάλες κατηγορίες: Συνδυαστικά Κυκλώματα Ακολουθιακά Κυκλώματα A 1 A 2 A n. ΛΟΓΙΚΟ ΚΥΚΛΩΜΑ. Z 1 Z 2 Είσοδος Α Έξοδος Ζ Z m
Συνδυαστικά Κυκλώματα ΗέξοδοςΖεξαρτάταιμόνο από την τρέχουσα τιμή της εισόδου Α Για κάθε σήμα εξόδου Ζ κ ορίζεται η λογική συνάρτηση Z k = F k (A 1, A 2,.., A n ), (k=1,2,..m) A 1 A 2. ΣΥΝΔΥΑΣΤΙΚΟ ΚΥΚΛΩΜΑ. Z 1 Z 2 A n Z k
Παράδειγμα Συνδυαστικού Κυκλώματος Α Β C AB C Υλοποιεί τη Λογική Συνάρτηση: Z = F(A,B,C)= AB+C Ζ
Ακολουθιακά Κυκλώματα (Ι) Η έξοδος Ζ εξαρτάται όχι μόνο από την τρέχουσα τιμή της εισόδου Α, αλλά και από όλη την παρελθούσα ακολουθία τιμών στην είσοδο Α. Το ακολουθιακό κύκλωμα διαθέτει μνήμη, δηλαδή έχει καταστάσεις (states) που του επιτρέπουν να θυμάται όλη την παρελθούσα ακολουθία τιμών που λαμβάνει στην είσοδο Α. Η έξοδος Ζ εξαρτάται από την τρέχουσα τιμή της εισόδου Α και από την τρέχουσα κατάσταση S. Η επόμενη κατάσταση NS (next state) εξαρτάται από την τρέχουσα τιμή της εισόδου Α και από την τρέχουσα κατάσταση S.
Ακολουθιακά Κυκλώματα (ΙΙ) ΓιακάθεσήμαεξόδουΖ κ ορίζεται η λογική συνάρτηση (ΛΣ) Z k = F k (A 1, A 2,.., A n, S 1, S 2,.., S t ), (k=1,2,..m) Για κάθε σήμα επόμενης κατάστασης NS j ορίζεται η ΛΣ NS j = G j (A 1, A 2,.., A n, S 1, S 2,.., S t ), (j=1,2,..t) είσοδος A 1 A 2 A n S 1 τρέχουσα κατάσταση ΣΥΝΔΥΑΣΤΙΚΟ ΚΥΚΛΩΜΑ ΣΤΟΙΧΕΙΑ ΜΝΗΜΗΣ Flip-flops Z 1 Z 2 Z m έξοδος NS 1 S επόμενη t NS t κατάσταση clock ανάδραση
Αλλαγή Κατάστασης Σύγχρονα ακολουθιακά κυκλώματα αλλάζουν κατάσταση συνήθως στην ανερχόμενη ακμή (από 0 σε 1) ήστηνκατερχόμενη ακμή (από 1 σε 0) του σήματος του ρολογιού (clock - CLK) (η ανάδραση ελέγχεται από το σήμα του ρολογιού) Ασύγχρονα ακολουθιακά κυκλώματα αλλάζουν κατάσταση σε κάθε χρονική στιγμή (η ανάδραση δεν ελέγχεται από το σήμα του ρολογιού) Volts ανερχόμενη ακμή κατερχόμενη ακμή CLK σήμα ρολογιού nsec
Τεχνολογίες Υλοποίησης Στο Υλικό 1930 : ρελέδες (relays) 1940 : λυχνίες (tubes) ΕΝΙΑC 18.000 tubes, 30x3x1 m 3, 140 KW 1950 : transistors 1960 : ολοκληρωμένα κυκλώματα (integrated circuits ICs): μερικές πύλες σε ένα chip 1970 : μικροεπεξεργαστές, μνήμες 1971 i4004, 1972 i8080, 1978 i8086 1980-00 : VLSI κυκλώματα ASIC, CPLD, FPGA, DSP, MCM,... 2000+ : System on Chip (SOC) Η πλακέτα του σήμερα το chip του αύριο 2000+ : Πολλές τεχνολογίες σε ένα VLSI κύκλωμα FPGA + μνήμες + επεξεργαστές +... σε 2-D ή 3-D
ENIAC Επισκευή λυχνίας Εισαγωγή προγράμματος
Oλοκληρωμένα Κυκλώματα ICs SSI (small scale integration) : 1-20 πύλες 74x04 6 πύλες ΝΟΤ σε ένα chip MSI (medium scale integr.) : 20-200 πύλες αποκωδικοποιητές, καταχωρητές, μετρητές LSI (large scale integr.) : 200-200.000 πύλες μνήμες, μικροεπεξεργαστές (μps), PLDs VLSI : > 500.000 transistors Application Specific Integrated Circuits - ASICs υλοποίηση με standard-cells και custom design Field-Programmable Gate Arrays - FPGAs Complex Programmable Logic Devices - CPLDs Digital Signal Processors - DSPs Multi-Chip Modules - MCMs
Oλοκληρωμένα Κυκλώματα ICs 2-D 3-D Το μέλλον (2020;) Φωτονικοί Υπερυπολογιστές
Επίπεδα Υλοποίησης Στο Υλικό Επίπεδο πλακέτας, PCB (printed circuit board) Επίπεδο Chip, IC, VLSI κυκλώματος: FPGA/CPLD ASIC Επίπεδο System on Chip (SoC)
Τρόποι Υλοποίησης VLSI Κυκλωμάτων Custom Design Standard Cell Gate Array Custom Control Logic Custom ALU Custom Register File Gates Standard ALU Standard Registers Gates Routing Channel Gates Routing Channel Gates κοντινές διασυνδέσεις μαζεμένη σχεδίαση μακρινές διασυνδέσεις απλωμένη σχεδίαση Απόδοση Σχεδιαστική πολυπλοκότητα
Διαδικασία Βιομηχανικής Παραγωγής VLSI Blank wafers Slicer 20 to 30 processing steps Individual dices Patterned wafers Bond die to package Die tester Packaged dices Tested packaged dices Part tester Ship to customers
Εξέλιξη των Επεξεργαστών (Ι) Νόμος του Moore (1965, εκ των ιδρυτών της Intel): "Η πυκνότητα σε transistors ενός επεξεργαστή διπλασιάζεται κάθε 18-24 μήνες" Σε 29 χρόνια ο αριθμός των transistors ενός μp έχει αυξηθεί > 900.000 φορές από τα 2.250 (4004, 1971) στα 2,046 Δις (2010, Tukwila).
Εξέλιξη των Επεξεργαστών (ΙΙ) Χαρακτηριστικά 1997 1999 2002 2005 2008 2011 2010 Υψηλή κλίμακα ολοκλήρωσης tr/cm 2 (Μ) tr/μp (Μ) 8 11 14 21 24 76 40 200 64 520 100 1400 250 2000 Μεγάλη πυκνότητα Nanometer 250 180 130 100 70 50 32 Μεγάλη ταχύτητα Ρολόι (MHz) 750 1250 2100 3500 6000 10000 4000 Μία πρόγνωση του 2000 πόσο έχει επαληθευτεί;
Αλλά και τα Προβλήματα Albert Yu, Επικεφαλής του τομέα μικροεπεξεργαστών της Intel IEEE Micro, 1996: The Future of Microprocessors «...Η απόδοση θα συνεχίσει να αυξάνεται, έως ότου φτάσουμε στο εξωπραγματικό νούμερο των 400.000.000 transistors σε ένα ολοκληρωμένο διαστάσεων 1.7 inch το 2006. Θα συναντήσουμε τρομερές τεχνολογικές δυσκολίες τις οποίες πρέπει να ξεπεράσουμε για να επιτύχουμε αυτό το επίτευγμα. Χρειάζεται να γνωρίζουμε πως θα συνδέσουμε, θα τροφοδοτήσουμε, θα ψύξουμε και θα ελέγξουμε την ορθή λειτουργία 400,000,000 transistors»
Το Πρόβλημα της Κατανάλωσης Ισχύος
Το Πρόβλημα της Κατανάλωσης Ισχύος οδηγεί στους Πολυπύρηνους Επεξεργαστές Ισχύς = φορτίο χωρητικότητας x τάση 2 x συχνότητα λειτουργίας Σε 20 χρόνια οι τάσεις μειώθηκαν από τα 5V στο 1V, ενώ η συχνότητα λειτουργίας αυξήθηκε 1000 φορές. Με αυτόν τον τρόπο η ισχύς αυξήθηκε μόνο 30 φορές. Δεν υπάρχουν περιθώρια για περαιτέρω μείωση της τάσης λόγω αύξησης των ρευμάτων διαρροής Δεν υπάρχουν περιθώρια για αύξηση της συχνότητας λειτουργίας λόγω μείωσης της αξιοπιστίας και αύξησης του κόστους Οι πολυπύρηνοι επεξεργαστές προσφέρουν βελτίωση τηςαπόδοσηςχωρίςπεραιτέρωαύξησητης συχνότητας λειτουργίας
IBM Power 4: Καταναλώνει 115 Watts Ζεστά σημεία Floating point units Cache logic Θερμοκρασία: από 66.8 C μέχρι 82 C
O Επεξεργαστής Itanium 2 της Intel Server Processor των 592 M transistors (9M)
O Επεξεργαστής Tukwila της Intel Ο πιο σύνθετος επεξεργαστής (Intel Tukwila : 4 Core Itanium 2 με 2,046 δισεκατομμύρια transistors σε ένα die των 7 cm 2 )
Το Μέλλον; Νανο-Τεχνολογία με Οργανικά Μόρια
Το Μέλλον; Νανο-Τεχνολογία με Οργανικά Μόρια
Επίπεδα Ψηφιακής Σχεδίασης Αρχιτεκτονική σχεδίαση στο υψηλό επίπεδο της συμπεριφοράς του συστήματος Λειτουργική σχεδίαση στο επίπεδο μεταφοράς καταχωρητών register transfer level (RTL) Λογική σχεδίαση στο επίπεδο των πυλών Φυσική σχεδίαση στο χαμηλό επίπεδο των transistor
Τεχνολογία Ψηφιακής Σχεδίασης (Ι) Γλώσσες Περιγραφής Υλικού (Hardware Description Languages) VHDL Verilog C-like, C++-like H σχεδίαση του υλικού έχει αρκετές ομοιότητες με τη σχεδίαση του λογισμικού
Τεχνολογία Ψηφιακής Σχεδίασης (ΙΙ) Εργαλεία λογισμικού (CAD tools) schematic entry HDL editors logic & time simulators test benches HDL design compilers synthesizers (VHDL, Verilog) test & power compilers compilers for PLDs και FPGAs behavioral synthesis compilers hardware-software co-design tools validation and verification tools Για να κατανοήσετε ότι δεν γνωρίζετε το αντικείμενο
Τεχνολογία Ψηφιακής Σχεδίασης (ΙΙΙ) Σύνθεση συστημάτων σε υψηλό επίπεδο Φορμαλιστική προδιαγραφή συμπεριφοράς Συ-σχεδίαση υλικού και λογισμικού Αλγόριθμοι λογισμικού σε C και υλοποίηση με ενσωματωμένους επεξεργαστές (embedded processors) Αλγόριθμοι υλικού σε HDL και απευθείας υλοποίηση στο υλικό με FPGAs ή ASICs πρωτόκολλο επικοινωνίας H σύνθεση συστημάτων σε υψηλό επίπεδο συνδυάζει την παράλληλη σχεδίαση του υλικού και του λογισμικού και στοχεύει στην υλοποίηση των SOC Ενσωματωμένα SoC συστήματα
Συμπεράσματα Η τεχνολογία των ολοκληρωμένων κυκλωμάτων (Ο.Κ.) οδηγεί τη βιομηχανία των υπολογιστών ΌσοεξελίσσεταιητεχνολογίατωνΟ.Κ. τόσο : αυξάνεται η χωρητικότητα (υλοποίηση Systems-on-Chip) αυξάνεται η απόδοση γίνεται πιο πολύπλοκη η διαδικασία της σχεδίασης και του ελέγχου αυξάνεται το κόστος υλοποίησης πρέπει να περιορισθεί η κατανάλωση ισχύος Πρέπει κατά τη σχεδίαση των συστημάτων να λαμβάνονται υπόψη οι περιορισμοί στην απόδοση, στην πακετοποίηση, στο κόστος, στην κατανάλωση ισχύος και στη δοκιμαστικότητα, Πρέπει να αντιμετωπίζουμε το hardware και το software σαν μία ολότητα και όχι σαν χωριστά τμήματα