Μάθημα : Έλεγχος και Ελεγξιμότητα Ψηφιακών συστημάτων