|
Σχεδιασμός με τη βοήθεια υπολογιστή (CAD), έλεγχος και αξιοπιστία σύγχρονων ψηφιακών κυκλωμάτων και ενσωματωμένων συστημάτων, έλεγχος και διάγνωση σφαλμάτων, σχεδιασμός για ελεγξιμότητα, έλεγχος μικροεπεξεργαστών, ανοχή σφαλμάτων, επαλήθευση και χρονική ανάλυση, BDDs και Boolean-SAT για εφαρμογές σχετικές με έλεγχο και επαλήθευση, θεωρία γράφων.
|