Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVerilog) - Pedroni, Volnei A (MIT Press, 2013)
Keywords: Components, Circuits, Devices and Systems; Computer Science; Computer systems; Computer systems -- Mathematical models; Computing and Processing; data processing; mathematical models; Sequential machine theory; Sequential machine theory -- Data processing; systemverilog (computer hardware description language); vhdl (computer hardware description language)