UNIVERSITY OF THESSALY
SCHOOL OF ENGINEERING
DEPARTMENT OF COMPUTER &
COMMUNICATIONS ENGINEERING
Course Description
 
Το μάθημα αυτό σκοπό έχει να παρουσιάσει μια μεγάλη και ενδιαφέρουσα περιοχή του σχεδιασμού ψηφιακών κυκλωμάτων και συστημάτων: την περιοχή του ελέγχου και της επιβεβαίωσης. Θα παρουσιαστούν μέθοδοι και αλγόριθμοι για τον έλεγχο και την επιβεβαίωση των ψηφιακών κυκλωμάτων καθώς και σχεδιαστικές τεχνικές για τη βελτίωση της ελεγξιμότητας των κυκλωμάτων αυτών.

Περιεχόμενα μαθήματος:

    1. Μοντελοποίηση σφαλμάτων
    2. Fault simulation
    3. Έλεγχος για stuck-at και bridging faults
    4. Διάγνωση σφαλμάτων
    5. Design for testability (DFT)
    6. Self-test
    7. Εισαγωγή στις τεχνικές επαλήθευσης
    8. Hardware modeling and BDDs
    9. Equivalence checking
    10. Επαλήθευση με model checking
    11. Επαλήθευση με theorem proving
    12. Formal verification systems (e.g. FormalCheck, VIS, SMV, HOL, PVS, MDG)



Designed by
ofni@rt
Maria Koziri
Tom Diamond

Home | Course | Downloads

Last updated 18/10/04 IE6,1024x768