Finite State Machines in Hardware: Theory and Design (w. VHDL and SystemVerilog)
Like New “Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVerilog)” by Volnei A. Pedroni. This is a very good book to learn to design Finite State Machines (FSMs).