关于非阻塞赋值的问题，求解释？
Stop: begin
           if (clk_low) begin
                  mode <= 1'b0;
          State <= Stop;
                end  
          else if (clk_high) begin
                  ctrl_cnt <= ctrl_cnt + 1'b1;
                  if (ctrl_cnt[0] == 1'b0)
                      State <= Start;
                  else
                      State <= Idle;
                  end
         else
              State <= Stop;
End
如果一开始ctrl_cnt为0，那么第一次执行else if (clk_high) begin……end中的语句时，State是跳到Start还是Idle? 此帖出自小平头技术问答