FSM-based digital design using Verilog HDL by Peter Minns | Menrva Books