Email Record: Logic Synthesis for FSM-Based Control Units