下列关于状态的状态机说明部分的程序是否正确parameter[]s=，s=，s=，s=，s=;reg[]current_state，next_state;