Symbol: dphy_wait_fsm