Synopsys interview question

basic statemachine