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

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

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

Loading…

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

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


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


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


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

ECE425
Έλεγχος και Επαλήθευση Ψηφιακών Κυκλωμάτων
Erasmus Επιλογής Εξάμηνο 7 – Χειμερινό Ειδίκευσης
Μονάδες ECTS
6
Εβδ. Ώρες
4
e-Class
Πληροφορίες Μαθήματος
Γνωστικό ΑντικείμενοΥλικού και Αρχιτεκτονικής Υπολογιστών (ΥΑ)
ΕξάμηνοΕξάμηνο 7 – Χειμερινό
Είδος ΜαθήματοςΕπιλογής
Τύπος ΜαθήματοςΕιδίκευσης
Μονάδες ECTS6
Συνιστώμενα
  • ECE119 Ψηφιακή Σχεδίαση
  • ECE333 Εργαστήριο Ψηφιακών Συστημάτων
  • ECE431 Αλγόριθμοι CAD
Σελίδα Μαθήματοςeclass.uth.gr
Ικανότητες – Δεξιότητες
  • Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
  • Αυτόνομη εργασία
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Υποχρεώσεις Φοιτητών
  • Υποχρεωτική παρακολούθηση θεωρίας
  • Υποχρεωτική παρακολούθηση εργαστηρίου
  • Υποχρεωτική συμμετοχή σε προόδους
  • Υποχρεωτική συμμετοχή σε εξετάσεις
  • Υποχρεωτική εκπόνηση εργασιών
  • Υποχρεωτική παρουσίαση εργασιών
  • Υποχρεωτική παράδοση ασκήσεων
Υπεύθυνος Μαθήματος
Μούντανος Ιωάννης
Μούντανος Ιωάννης
Αναπληρωτής Καθηγητής
Γραφείο 324
+30 24210 74578
ώρες γραφείου (office hours) Τετ. (Wed) 4-6, κλπ.or chat with me on  MS Teams where I appear as ==> Ioannis MOUDANOS
jmoondan@uth.gr
Ώρες Διδασκαλίας
4
Σύνολο
2
Θεωρία
1
Φροντιστήριο
1
Εργαστήριο
Διδάσκοντες
Μούντανος Ιωάννης
Μούντανος Ιωάννης
Αναπληρωτής Καθηγητής
jmoondan@uth.gr
  • Περιγραφή-Στόχοι
  • Μαθησιακά Αποτελέσματα
  • Αξιολόγηση Φοιτητών
  • Κατανομή ύλης
  • Εισαγωγή στο Μαθηματικο υπόβαθρο της Τυπικής Επαλήθευσης
  • SYSTEM VERILOG & SYSTEM VERILOG ASSERTIONS
  • Χρήση σχετικών εργαλείων CAD

Ή ύλη του μαθήματος έχει στόχο με την ολοκλήρωση του εξαμήνου ο φοιτητής να κατανοεί τις βασικές έννοιες, διαδικασίες και εργαλεία CAD της επαλήθευσης και του ελέγχου κυκλωμάτων VLSI με έμφαση στα θέματα:

  • Διαφοροποίηση των εννοιών του ελέγχου και της επαλήθευσης κυκλωμάτων.
    Κατανόηση της ανάγκης Ελέγχου και επαλήθευσης κυκλωμάτων με βάση τα πιο σημαντικά ιστορικά παραδείγματα.
  • Θεωρητική Κατανόηση των πλέον διαδεδομένων αλγορίθμων Ελέγχου και επαλήθευσης.
  • Κατανόησης της χρήσης εργαλείων CAD σε ολόκληρη τη ροή σχεδίασης κυκλωμάτων VLSI.
  • Πως να χρησιμοποιεί τις πλέον κατάλληλες μεθόδους ελέγχου και επαλήθευσης στις διάφορες φάσεις σχεδίασης κυκλωμάτων.

Όπως προκύπτει απο το πεδίο των υποχρεώσεων των φοιτητών.

  1. Το πρόβλημα της (Μαθηματικής) Επαλήθευσης
  2. Γλώσσες (Μαθηματικής) Επαλήθευσης
  3. Διαγράμματα Δυαδικών Αποφάσεων (ΔΔΑ) και Ελαχιστοποιημένα Ταξινομημένα ΔΔΑ
  4. Έλεγχος Μοντέλων
  5. Έλεγχος Επαληθευσιμότητας
  6. Περιορισμένος Έλεγχος Μοντέλων
  7. Έλεγχος Ισοδυναμίας Κυκλωμάτων
  8. Μοντελοποίηση Σφαλμάτων
  9. Εξομοίωση Σφαλμάτων
  10. Εύρεση Ακολουθιών Ελέγχου για Συνδυαστικά και Ακολουθιακά Κυκλώματα
  11. Σχεδίαση Ελεκτικών Κυκλωμάτων.
  12.  Χρήση Εργαλείων CAD
  13. Εισαγωγή στη γλώσσα SYSTEMVERILOG

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

  • 18/05/2026 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για το Π.Μ.Σ. «Εφαρμοσμένη Πληροφορική»
  • 18/05/2026 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για το Π.Μ.Σ. «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας»
  • 15/05/2026 Πρόγραμμα Εξεταστικής Εαρ. Εξαμήνου 2025-2026 ΠΜΣ Εφαρμοσμένη Πληροφορική
  • 15/05/2026 Πρόγραμμα Εξεταστικής Εαρ. Εξαμήνου 2025-2026 ΠΜΣ Ευφυή Δίκτυα

e-Yπηρεσίες

e-Class Ηλεκτρονική πλατφόρμα μαθημάτων
Εύδοξος Διανομή Συγγραμάτων
Ακαδημαϊκή Ταυτότητα Πάσο Φοιτητή
SIS-Web Ηλεκτρονική Γραμματεία
Webmail Ηλεκτρονικό Ταχυδρομείο
Erasmus+ Άνοιξε τους ορίζοντές σου

ΤΗΜΜΥ

Στην αιχμή της εκπαίδευσης και της έρευνας στην Ηλεκτρολογία και τη Μηχανική Υπολογιστών, διαμορφώνουμε τους μηχανικούς του μέλλοντος.

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

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

Επικοινωνία

  • Σέκερη & Χέυδεν, Πεδίον Άρεως, 38334, Βόλος
  • +30 24210 74967
  • +30 24210 74934
  • gece@uth.gr
© Copyright 2026 Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Ο παρών ιστότοπος χρησιμοποιεί cookies για να εξασφαλίσει την καλύτερη δυνατή εμπειρία σου στο site μας.ΕΝΗΜΕΡΩΘΗΚΑΠληροφορίες