Advanced digital logic design: Using verilog state machines and synthesis for FPGAs - Lee, Suggu (Andover Cengage Learning, 2012)
PG
E