Logic Synthesis for FPGA-Based Finite State Machines - Barkalov, Alexander; Titarenko, Larysa; Kolopienczyk, Malgorzata; Mielcarek, Kamil; Bazydlo, Grzegorz (Springer International Publishing : Imprint: Springer, 2016)