Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών

MENUMENU
  • Τμήμα
      • Φυσιογνωμία
      • Διδάσκοντες
      • Πολιτική Ποιότητας
      • Νέο Κτίριο
      • Διοίκηση
      • Προσωπικό
      • Πιστοποίηση Τμήματος
      • Καλωσόρισμα Προέδρου
  • Σπουδές
    • Γνωστικά Αντικείμενα
    • Προπτυχιακές Σπουδές
    • Μεταπτυχιακές Σπουδές
      • Π.Μ.Σ. στην «Επιστήμη και Τεχνολογία ΗΜΜΥ»
      • Π.Μ.Σ. στα «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας»
      • Π.Μ.Σ. στην «Εφαρμοσμένη Πληροφορική»
    • Διδακτορικές Σπουδές
    • Κινητικότητα
    • Κατάλογος Μαθημάτων
      • Προπτυχιακά Μαθήματα
      • Μεταπτυχιακά Μαθήματα
        • Επιστήμη και Τεχνολογία ΗΜΜΥ
        • Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας
        • Εφαρμοσμένη Πληροφορική
      • Erasmus
    • Πιστωτικές Μονάδες ECTS
    • Ακαδημαϊκό Ημερολόγιο Π.Π.Σ.
    • Ακαδημαϊκό Ημερολόγιο Π.Μ.Σ
    • Ωρολόγιο Π.Π.Σ. Εαρινού
      • Εβδομαδιαίο Ωρολόγιο Π.Π.Σ. Χειμερινού Εξαμήνου
      • Ανα Έτος Ωρολόγιο Π.Π.Σ. Χειμερινού Εξαμήνου
      • Μαθήματα Π.Π.Σ. Χειμερινού που διδάσκονται τώρα
      • Εβδομαδιαίο Ωρολόγιο Π.Π.Σ. Εαρινού Εξαμήνου
      • Ανα Έτος Ωρολόγιο Π.Π.Σ. Εαρινού Εξαμήνου
      • Μαθήματα Π.Π.Σ. Εαρινού που διδάσκονται τώρα
    • Ωρολόγιο Π.Μ.Σ. Εαρινού
      • Επιστήμη και Τεχνολογία ΗΜΜΥ
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιο Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
      • Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιου Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
      • Εφαρμοσμένη Πληροφορική
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιο Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
    • Πρόγραμμα Εξεταστικής
      • Εξεταστική Π.Π.Σ.
      • Εξεταστική Π.Μ.Σ.
    • Επαγγελματικά Θέματα
    • Πιστοποιήσεις
      • Πρόγραμμα Εξειδίκευσης στην «Επιστήμη Δεδομένων»
      • Πρόγραμμα Παιδαγωγικής & Διδακτικής Επάρκειας
    • Υποστήριξη Φοιτητών
      • Υποστήριξη ΦμεΑ
      • Συχνές Ερωτήσεις
      • Παρενόχληση - Εκφοβισμός
    • Πρακτική Άσκηση
  • Έρευνα
    • Εργαστήρια
    • Ερευνητικά Έργα
    • Μεταδιδακτορική Έρευνα
    • Υποψήφιοι Διδάκτορες
    • Διατριβές – Εργασίες
    • Ερευνητικά Έργα σε Εξέλιξη

      Αναλογικός Σχεδιασμός, Δοκιμές και Επαλήθευση

      Επιστ. Υπεύθυνος

      Πλέσσας ΦώτιοςΠλέσσας Φώτιος, Καθηγητής
      E-mail: fplessas@e-ce.uth.gr

      ΤίτλοςΑναλογικός Σχεδιασμός, Δοκιμές και Επαλήθευση
      Φορέας ΧρηματοδότησηςNanoZeta Technologies ltd.
      Προϋπολογισμός271.400,00
      Διάρκεια26/01/2021 – 25/01/2028

      Περισσότερα →

      DIGITAfrica: Towards a comprehensive pan-African research infrastructure in Digital Sciences

      Επιστ. Υπεύθυνος

      Κοράκης ΑθανάσιοςΚοράκης Αθανάσιος, Καθηγητής
      E-mail: korakis@e-ce.uth.gr

      ΤίτλοςDIGITAfrica: Towards a comprehensive pan-African research infrastructure in Digital Sciences
      Φορέας ΧρηματοδότησηςΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ
      Προϋπολογισμός123.125,00
      Διάρκεια16/12/2024 – 31/12/2027

      Περισσότερα →

      TWIN-RELECT: Twinning for Excellence in Reliable Electronics

      Επιστ. Υπεύθυνος

      Σωτηρίου ΧρήστοςΣωτηρίου Χρήστος, Καθηγητής
      E-mail: chsotiriou@e-ce.uth.gr

      ΤίτλοςTWIN-RELECT: Twinning for Excellence in Reliable Electronics
      Φορέας ΧρηματοδότησηςΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ
      Προϋπολογισμός602.500,00
      Διάρκεια01/10/2024 – 30/09/2027

      Περισσότερα →

      Λίστα Ερευνητικώ Έργων →

  • Απόφοιτοι
      • Ισοτιμία ΜΗΥΤΔ με ΗΜΜΥ
      • Γνώμες Αποφοίτων
      • Διδάκτορες
  • Υπηρεσίες
    • Γραμματεία
      • Πληροφορίες
      • Γενικά Έντυπα
    • Τεχνική Υποστήριξη
  • Ανακοινώσεις
    • Γενικές Ανακοινώσεις
    • Ακαδημαϊκά Νέα - Εκδηλώσεις
    • Συνέδρια
    • Πρωτοετών
    • Αποφοίτων
    • Θέσεις Εργασίας
    • Υποτροφίες
    • Αποφάσεις Συλλογικών Οργάνων
    • Πρόσφατες Ανακοινώσεις

      • 10/06/2025 Παράδοση Εκλογικού Καταλόγου των μελών Δ.Ε.Π. για την Ανάδειξη Προέδρου και Αντιπροέδρου
      • 10/06/2025 Ανακήρυξη υποψηφίων για το αξίωμα του Προέδρου και Αντιπροέδρου του Τμήματος Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
      • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Εφαρμοσμένη Πληροφορική» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026
      • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026
      • 03/06/2025 Προκηρύξεις Υποτροφιών Κληροδοτημάτων ΙΚΥ
  • Επικοινωνία
    • Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
      • Σέκερη και Χέυδεν
        Πεδίον Άρεως, κτίριο ΤμΗΜΜΥ
        ΤΚ 383 34, Βόλος
      Τηλ.+30 24210 74967, +30 24210 74934
      e-mailgece ΑΤ e-ce.uth.gr
      Τηλ. Π.Μ.Σ.+30 24210 74933
      e-mail Π.Μ.Σ.pgsec ΑΤ e-ce.uth.gr
      Ιστοσελίδαhttps://www.e-ce.uth.gr/contact-info/
  • Είσοδος

ECE431 Αλγόριθμοι CAD

Αρχική » Σπουδές » Προπτυχιακές Σπουδές » Προπτυχιακά Μαθήματα » ECE431 Αλγόριθμοι CAD

Loading…

Δομή Προαπαιτούμενων Μαθημάτων

Xρώμα κόμβου:
1ο Έτος 2ο Έτος 3ο Έτος 4ο-5ο Έτος


Σχήμα Κόμβου:
Κύκλος: Υποχρεωτικό Μάθημα
Τετράγωνο: Μάθημα Επιλογής
Αστεράκι: Μάθημα για το οποίο γίνεται η αναζήτηση των προαπαιτουμένων


Σύρσιμο Κόμβου:
Κάνοντας κλίκ στον κόμβο και μετακινώντας το ποντίκι.


Μεγένθυση & Μετακίνηση Γραφήματος:
Κάνοντας κύλιση (scrolling) και σύρσιμο (dragging) του ποντικιού.

Γνωστικό ΑντικείμενοΥλικού και Αρχιτεκτονικής Υπολογιστών (ΥΑ)
ΕξάμηνοΕξάμηνο 7 – Χειμερινό
Είδος ΜαθήματοςΕπιλογής
Τύπος Μαθήματος Ειδίκευσης
Συν. Εβδ. Ωρών Διδασκαλίας4
Ώρες Θεωρίας2
Ώρες Εργαστηρίου0
Ώρες Φροντιστηρίου2
Μονάδες ECTS6
Συνιστώμενα Μαθήματα
  • ECE216 Αλγόριθμοι
  • ECE330 Εργαστήριο Σχεδίασης SoC (System – on – Chip) με Εργαλεία CAD

Σελίδα Μαθήματοςhttps://courses.e-ce.uth.gr/ECE431/
Υπεύθυνος Μαθήματος

Σωτηρίου ΧρήστοςΣωτηρίου Χρήστος, Καθηγητής
E-mail: chsotiriou@e-ce.uth.gr

Διδάσκων
  • Σωτηρίου Χρήστος, Καθηγητής
    E-mail: chsotiriou@e-ce.uth.gr
Βιβλιογραφία
  • Logic Synthesis and Verification Algorithms , Gary D. Hachtel and Fabio Somenzi, ISBN-10: 0387310045, Springer, 2006.
  • Synthesis and Optimisation of Digital Circuits , Giovanni De Micheli, ISBN-10: 0070163332, McGraw Hill, 1994.
  • Logic Synthesis , Srinivas Devadas, Abhijit Gosh and Kurt Keutzer, ISBN-10: 0070165009, McGraw Hill, 1994.
Ικανότητες – Δεξιότητες
  • Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
  • Λήψη αποφάσεων
  • Αυτόνομη εργασία
  • Ομαδική εργασία
  • Άσκηση κριτικής και αυτοκριτικής
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Υποχρεώσεις φοιτητών
  • Υποχρεωτική συμμετοχή σε προόδους
  • Υποχρεωτική συμμετοχή σε εξετάσεις
  • Υποχρεωτική εκπόνηση εργασιών
  • Υποχρεωτική παρουσίαση εργασιών
Πρόγραμμα Χειμερινού Εξαμήνου Ακ. Έτους 2024 – 2025
ΗμέραΏραΤύποςΑίθουσαΔιδάσκων
Δευτέρα09:00 – 11:00ΔιάλεξηΕργ. 308
  • Σωτηρίου Χρήστος
Τρίτη09:00 – 11:00ΔιάλεξηΕργ. 308
  • Σωτηρίου Χρήστος
  • Περιγραφή-Στόχοι
  • Μαθησιακά Αποτελέσματα
  • Αξιολόγηση Φοιτητών
  • Κατανομή ύλης

Ο στόχος του ΗΥ437 είναι η εμβάθυνση και η εξοικείωση με Αλγορίθμους Ηλεκτρονικού Σχεδιαστικού Αυτοματισμού (EDA – Electronic Design Automation) αιχμής για την αυτοποιημένη σχεδίαση και επαλήθευση ψηφιακών ηλεκτρονικών κυκλωμάτων (CAD – Computer Aided Design).

Το μάθημα εστιάζει σε (1) Αλγορίθμους Λογικής Σύνθεσης, (2) Τεχνολογικής Απεικόνισης σε Βιβλιοθήκη Πυλών Τεχνολογίας Κατασκευής (standard-cell technology library), και (3) Κατασκευαστικής Επαλήθευσης, δηλαδή στα στάδια υλοποίησης ΠΡΟ της Φυσικής Σχεδίασης, και παρουσιάζει επακριβείς και ευριστικούς αλγορίθμους πανομοιότυπους με αυτούς που υλοποιούνται σε βιομηχανικά εργαλεία, όπως το Synopsys DC ή το Cadence RC Compiler.

Ο στόχος του ΗΥ437 είναι η εμβάθυνση και η εξοικείωση με Αλγορίθμους Ηλεκτρονικού Σχεδιαστικού Αυτοματισμού (EDA – Electronic Design Automation) αιχμής για την αυτοποιημένη σχεδίαση και επαλήθευση ψηφιακών ηλεκτρονικών κυκλωμάτων (CAD – Computer Aided Design).

Το μάθημα εστιάζει σε (1) Αλγορίθμους Λογικής Σύνθεσης, (2) Τεχνολογικής Απεικόνισης σε Βιβλιοθήκη Πυλών Τεχνολογίας Κατασκευής (standard-cell technology library), και (3) Κατασκευαστικής Επαλήθευσης, δηλαδή στα στάδια υλοποίησης ΠΡΟ της Φυσικής Σχεδίασης, και παρουσιάζει επακριβείς και ευριστικούς αλγορίθμους πανομοιότυπους με αυτούς που υλοποιούνται σε βιομηχανικά εργαλεία, όπως το Synopsys DC ή το Cadence RC Compiler.

Με την επιτυχή ολοκλήρωση του μαθήματος, ο φοιτητής/τρια θα κατέχει τις παρακάτω γνώσεις, δεξιότητες και ικανότητες:

  • Γνώση και κατανόηση της θεωρίας Ευριστικών και μη Αλγορίθμων CAD
  • Γνώση και κατανόηση των τύπων Αλγορίθμων και την εφαρμογή τους για την επίλυση ενός προβλήματος
  • Γνώση πληθώρας πρακτικών βιομηχανικών Αλγορίθμων CAD για Βελτιστοποίηση Συνδυαστικών Κυκλωμάτων, Ανταλλαγή Εμβαδού, Ταχύτητας, Τεχνολογική Απεικόνιση και Κατασκευαστική Δοκιμή
  • Ανάλυση της πολυπλοκότητας των Αλγορίθμων και Αξιολόγηση διαφορετικών μεθόδων λύσης
  • Κατανόηση της διαδικασίας σχεδίασης Νέων αλγορίθμων

Η βαθμολόγηση θα γίνεται με τους εξής γνώμονες:

  • Εργασίες : 40% Βαθμού
  • Πρόοδος : 20% Βαθμού
  • Τελική Εξέταση : 40% Βαθμού

Οι στόχοι της παραπάνω κατανομής ποσοστών είναι η διαρκής αξιολόγηση των φοιτητών κατά την διάρκεια του εξαμήνου και η εξαγωγή του τελικού βαθμού απο όσο το δυνατόν περισσότερα δείγματα γνώσεων.

  1. Τι είναι CAD, Παραδείγματα Τύπων Προβλημάτων και Αλγορίθμων
  2. Βασικές Αρχές Αλγορίθμων, Προβλήματα P καί NP, Πολυπλοκότητα και Χειρισμός της, Ταξινόμιση και Είδη Αλγορίθμων, Αφαιρετικά μοντέλα κυκλωμάτων
  3. Λογική Σύνθεση Α: Αρχές Δυαδικής Άλγεβρας, Δυαδικοί χώροι, Αξιώματα καί Θεωρήματα, Απλοποίηση Δυαδικής Συνάρτησης, Θεώρημα Boole/Shannon, Ταυτολογία
  4. Λογική Σύνθεση Β: Αυτοματοποιημένη Σύνθεση και Απλοποίηση 2-επίπεδων Κυκλωμάτων, Κόστος, Απεικόνιση, Θεώρημα Quine, Εξαγωγή Πρώτων, Πίνακας περιορισμών UCP, Αλγόριθμος Quine-McCluskey
  5. Λογική Σύνθεση Γ: Παραδείγματα επακριβούς Βελτιστοποίησης, Συναρτήσεις Πολλαπλών Εξόδων, σχέση μεταξύ βέλτιστης σύνθεσης και Επαλήθευσης (DFT)
  6. Λογική Σύνθεση Δ: Κωδικοποίηση Κύβων, Αλγεβρικές Πράξεις και Ιδιότητες
  7. Λογική Σύνθεση Ε: Ευριστική Βελτιστοποίηση 2-επίπεδων Κυκλωμάτων, Αλγόριθμος ESPRESSO, πράξεις EXPAND, REDUCE, IRREDUNTANT, ESSENTIALS, Λειτουργία Hill-climbing απο τοπικά Ελάχιστα, Παραδείγματα Βελτιστοποίησης με το ESPRESSO
  8. Δυαδικά Διαγράμματα Αποφάσεων (Binary Decision Diagrams – BDDs) ως κανονική μορφή για ορισμό και σύγκριση Δυαδικών Συναρτήσεων
  9. Λογική Σύνθεση ΣΤ: Πολυ-επίπεδη Έκφραση Κυκλώματος, Δυαδικά Δίκτυα και οι πράξεις ELIMINATE, DECOMPOSE, EXTRACT, SIMPLIFY, SUBSTITUTE, Παραδείγματα
  10. Λογική Σύνθεση Ζ: Ανταλλαγή Βάθους/Εμβαδού μέσω Δυαδικής ή Αλγεβρικής Παραγοντοποίησης, Αλγόριθμοι Διαίρεσης και κοινοί Παράγοντες, Πυρήνες και Συν-πυρήνες – Αλγόριθμοι Εξαγωγής, Αλγόριθμοι Κάλυψης Ορθογωνίων για απο κοινού βελτιστοποίηση
  11. Λογική Σϋνθεση Η: Χρήση των Εσωτερικών/Εξωτερικών Αδιάφορων Τιμών (DCs) για Πολυ-επίπεδη Απλοποίηση, Satisfiability καί Observability DCs (SDC, ODCs), Παραδείγματα
  12. Τεχνολογική Απεικόνιση σε Βιβλιοθήκη Τεχνολογίας: Αλγόριθμοι Κάλυψης Γράφου και Δέντρων
  13. Κατασκευαστική Δοκιμή: Μοντέλα Σφαλμάτων, Ευαισθητοποίηση Οδού και Παρατηρησιμότητα, Εσωτερική Σάρωση, Delay Fault Testing, Αλγόριθμοι ATPG: D καί PODEM

Πρόσφατες Ανακοινώσεις

  • 10/06/2025 Παράδοση Εκλογικού Καταλόγου των μελών Δ.Ε.Π. για την Ανάδειξη Προέδρου και Αντιπροέδρου
  • 10/06/2025 Ανακήρυξη υποψηφίων για το αξίωμα του Προέδρου και Αντιπροέδρου του Τμήματος Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
  • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Εφαρμοσμένη Πληροφορική» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026
  • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026

e-Yπηρεσίες

Επικοινωνία

  • Σέκερη & Χέυδεν, Πεδίον Άρεως, 38334, Βόλος
  • +30 24210 74967
  • +30 24210 74934
  • gece@uth.gr

Ανακοινώσεις

  • Γενικές Ανακοινώσεις
  • Ακαδημαϊκά Νέα – Εκδηλώσεις
  • Θέσεις Εργασίας
  • Υποτροφίες
  • Αποφάσεις Συλλογικών Οργάνων

Θα μας Βρείτε

  • Facebook
  • Twitter
  • Youtube
  • Linkedin
© Copyright 2025 Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Ο παρών ιστότοπος χρησιμοποιεί cookies για να εξασφαλίσει την καλύτερη δυνατή εμπειρία σου στο site μας.ΕΝΗΜΕΡΩΘΗΚΑΠληροφορίες