Text this: Ανάπτυξη εργαλείων για την αυτόματη παραγωγή και τον έλεγχο ορθής λειτουργίας αριθμητικών κυκλωμάτων