Text this: Logic synthesis for FSM-based control units /