FSM-based Digital Design using Verilog HDL sidottuEnglanti, 2008