Logic synthesis for FPGA-based finite state machines. (2016)