FPGA状态机跑飞

• FPGA状态机跑飞

  如果状态机的状态转换敏感变量与状态机不是一个时钟域的，则可能状态机读取变量时正好读到敏感变量跳变沿，导致读取到的变量值不明确，导致状态机跑飞。
  为避免跑飞，需要给状态机设计复位电路，一旦跑飞进行复位。状态机的default块并不会自动综合，要综合default块，须在状态变量定义后加综合语句，如

reg [9:0] state /* syn_encoding = "safe, one-hot " */