Finite state machines in hardware: theory and design (with VHDL and SystemVerilog) - Pedroni, Volnei A (The MIT Press, 2013)
Keywords: computer science/general; computer systems; data processing; mathematical models; sequential machine theory; systemverilog (computer hardware description language); vhdl (computer hardware description language)