Logic Synthesis for FPGA-Based Finite State Machines - Barkalov, Alexander (Springer International Publishing, 2016)