Text this: Finite state machines in hardware : theory and design (with VHDL and SystemVerilog) / Volnei A. Pedroni.