fsm-based-digital-design-using-verilog-hdl