Text this: Digital logic and state machine design