fsmviewer.fsm

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

fsm_options -device {STATE[0:9]}

define_state stopon1 0000000001 {e:\my synplyfy\lift\flift.vhd} 47 2 47 17
state_output stopon1 {STATE[9]} 1

define_state dooropen 0000000010 {e:\my synplyfy\lift\flift.vhd} 134 2 134 16
state_output dooropen {STATE[8]} 1

define_state doorclose 0000000100 {e:\my synplyfy\lift\flift.vhd} 57 2 57 18
state_output doorclose {STATE[7]} 1

define_state wait1 0000001000 {e:\my synplyfy\lift\flift.vhd} 51 2 51 17
state_output wait1 {STATE[6]} 1

define_state wait2 0000010000 {e:\my synplyfy\lift\flift.vhd} 52 2 52 16
state_output wait2 {STATE[5]} 1

define_state wait3 0000100000 {e:\my synplyfy\lift\flift.vhd} 55 2 55 16
state_output wait3 {STATE[4]} 1

define_state wait4 0001000000 {e:\my synplyfy\lift\flift.vhd} 56 2 56 16
state_output wait4 {STATE[3]} 1

define_state up 0010000000 {e:\my synplyfy\lift\flift.vhd} 115 2 115 10
state_output up {STATE[2]} 1

define_state down 0100000000 {e:\my synplyfy\lift\flift.vhd} 124 2 124 12
state_output down {STATE[1]} 1

define_state stop 1000000000 {e:\my synplyfy\lift\flift.vhd} 133 2 133 12
state_output stop {STATE[0]} 1

fsm_options -resetState stopon1

define_transition down stop {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -1----------------}
define_transition down stop {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = 0-----------------}
define_transition down stop {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ----1-0-----------}
define_transition down stop {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ----00------------}
define_transition up stop {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ---1--------------}
define_transition up stop {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --0---------------}
define_transition up stop {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ----0---0---------}
define_transition up stop {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------00---------}
define_transition down down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = 10--1-1-----------}
define_transition down down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = 10--01------------}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------1---1--1-100}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------1---1--11-00}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ---------0001--100}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -----1----01-1-100}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------1---1--10010}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ---------0001-1-00}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -----1----01-11-00}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------000-1-0-100}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --------0001-0-100}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------0-010-0-100}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ---------0001-0010}