Logic Synthesis for FPGA-Based Finite State Machines (Studies in Systems | DealShopping Deutschland