Advanced digital logic design using verilog,state machines,and synthesis for FPGAs - Lee (Thomson, 2005)