flift.fse

实现简易4层电梯控制核心模块

fsm_encoding {1401401} gray

fsm_state_encoding {1401401} stopon1 {0000}

fsm_state_encoding {1401401} dooropen {0001}

fsm_state_encoding {1401401} doorclose {0011}

fsm_state_encoding {1401401} wait1 {0010}

fsm_state_encoding {1401401} wait2 {0110}

fsm_state_encoding {1401401} wait3 {0111}

fsm_state_encoding {1401401} wait4 {0101}

fsm_state_encoding {1401401} up {0100}

fsm_state_encoding {1401401} down {1100}

fsm_state_encoding {1401401} stop {1101}

fsm_registers {1401401} {STATE[3]}  {STATE[2]}  {STATE[1]}  {STATE[0]}