以下SystemVerilog代码段描述了一个简单的状态机，若当前状态为S0且输入信号in为1，请问下一个状态是什么？ module FSM (     input wire clk,     input wire rst,     input wire in,     output reg [1:0] state );     typedef enum logic [1:0] {         S0 = 2’b00,         S1 = 2’b01,         S2 = 2’b10     } state_t;     state_t current_state, next_state;     always_ff @(posedge clk or posedge rst) begin         if (rst)             current_state <= S0;         else             current_state <= next_state;     end     always_comb begin         case (current_state)             S0: next_state = in ? S1 : S0;             S1: next_state = in ? S2 : S0;             S2: next_state = in ? S0 : S1;             default: next_state = S0;         endcase     end endmodule