Logic Synthesis for FSM-Based Control Units