fsmviewer.fsm

这是用pci-wishbone核和16450串口核在xilinx的fpga上实现的串口程序

fsm_options -device {state[3:0]}

define_state STATE_STOP 00 {f:\lizheng\fiberoptical\fpga\pci_bridge_guest_uart\wb_master.v} 106 3 106 12
state_output STATE_STOP {state[0]} 1

define_state STATE_WAIT 01 {f:\lizheng\fiberoptical\fpga\pci_bridge_guest_uart\wb_master.v} 115 3 115 12
state_output STATE_WAIT {state[1]} 1

define_state STATE_DUMPDATA 10 {f:\lizheng\fiberoptical\fpga\pci_bridge_guest_uart\wb_master.v} 126 3 126 16
state_output STATE_DUMPDATA {state[2]} 1

define_state STATE_FINISH 11 {f:\lizheng\fiberoptical\fpga\pci_bridge_guest_uart\wb_master.v} 134 3 134 14
state_output STATE_FINISH {state[3]} 1

fsm_options -resetState STATE_STOP

define_transition STATE_FINISH STATE_FINISH {wbm_we_o,state31,dma_start_i,wbm_ack_i = --1-}
define_transition STATE_WAIT STATE_FINISH {wbm_we_o,state31,dma_start_i,wbm_ack_i = -011}
define_transition STATE_WAIT STATE_DUMPDATA {wbm_we_o,state31,dma_start_i,wbm_ack_i = -111}
define_transition STATE_STOP STATE_DUMPDATA {wbm_we_o,state31,dma_start_i,wbm_ack_i = 1-1-}
define_transition STATE_DUMPDATA STATE_WAIT {wbm_we_o,state31,dma_start_i,wbm_ack_i = --1-}
define_transition STATE_WAIT STATE_WAIT {wbm_we_o,state31,dma_start_i,wbm_ack_i = --10}
define_transition STATE_STOP STATE_WAIT {wbm_we_o,state31,dma_start_i,wbm_ack_i = 0-1-}
define_transition STATE_FINISH STATE_STOP {wbm_we_o,state31,dma_start_i,wbm_ack_i = --0-}
define_transition STATE_DUMPDATA STATE_STOP {wbm_we_o,state31,dma_start_i,wbm_ack_i = --0-}
define_transition STATE_WAIT STATE_STOP {wbm_we_o,state31,dma_start_i,wbm_ack_i = --0-}
define_transition STATE_STOP STATE_STOP {wbm_we_o,state31,dma_start_i,wbm_ack_i = --0-}
fsm_options -SRSPath {F:\\lizheng\\FiberOptical\\FPGA\\PCI_Bridge_Guest_UART\\WB_Master.srs}
fsm_options -SRSTime 1142259447
fsm_options -FSMPath {state[3:0]}
fsm_options -view {ScratchLib.cell2.netlist|i:state[3:0]}
fsm_options -ID {110101011}