Ποσοτική μελέτη απόδοσης των αρχιτεκτονικών στοιχείων που συνθέτουν κάθε υπολογιστικό σύστημα, ΚΜΕ και σύνολα εντολών, τεχνικές pipeline και παραλληλισμού της επεξεργασίας σε επίπεδο εντολών (ILP). Ιεραρχίες μνήμης, κρυφή μνήμη, ιδεατή μνήμη και αποθηκευτικά συστήματα. Διασυνδετικά δίκτυα και κατανεμημένα υπολογιστικά συστήματα. Μοντελοποίηση ψηφιακών υπολογιστικών συστημάτων. Προσομοίωση ψηφιακών συστημάτων. Γλώσσες περιγραφής υλικού. Αυτόματη σύνθεση και βελτιστοποίηση. Τεχνολογία Field Programmable Gate Arrays. Μοντελοποίηση ψηφιακών συστημάτων. CAD εργαλεία. VHDL. Προδιαγραφές (requirements specification): τεκμηρίωση (documentation), δοκιμή & πιστοποίηση (testing & verification), τυπική πιστοποίηση (formal verification), σύνθεση (synthesis).
