Μεθοδολογίες ψηφιακής σχεδίασης: Σύνθεση και επαλήθευση συστημάτων με Verilog και εργαλεία ανοικτού κώδικα