fsmviewer.fsm

veilog实现的状态机乘法器.可以参考

fsm_options -device {current_state[3:0]}

define_state 00 00 {noname} 0 0 0 0
state_output 00 {current_state[0]} 1

define_state 01 01 {noname} 0 0 0 0
state_output 01 {current_state[1]} 1

define_state 10 10 {noname} 0 0 0 0
state_output 10 {current_state[2]} 1

define_state 11 11 {noname} 0 0 0 0
state_output 11 {current_state[3]} 1

define_transition 11 11 {state_temp20,rst = -0}
define_transition 10 11 {state_temp20,rst = 10}
define_transition 01 10 {state_temp20,rst = -0}
define_transition 10 01 {state_temp20,rst = 00}
define_transition 00 01 {state_temp20,rst = -0}
define_transition 11 00 {state_temp20,rst = -1}
define_transition 10 00 {state_temp20,rst = -1}
define_transition 01 00 {state_temp20,rst = -1}
define_transition 00 00 {state_temp20,rst = -1}
fsm_options -SRSPath {G:\\taoyuhui\\synplifywork_new\\statemachine_mult\\rev_3\\st_mult1.srs}
fsm_options -SRSTime 1142649432
fsm_options -FSMPath {current_state[3:0]}
fsm_options -view {ScratchLib.cell2.netlist|i:current_state[3:0]}
fsm_options -ID {1171171}