Logic Synthesis for FPGA-Based Finite State Machines | EKB DL