Logic Synthesis for FSM-Based Control Units | EKB DL