Title: Logic Synthesis for FPGA-Based Finite State Machines