Logic Synthesis for FPGA-Based Finite State Machines by Alexander Barkalov, Larysa Titarenko, Malgorzata Kolopienczyk, Kamil Mielcarek, Grzegorz Bazydlo.pdf