FSM #16: state

Summary

Graph

Name

Location

Reset State

States

Unreachable States

Deadlock States

Livelock States

Input Signals

Output Signals

state

data_err_management.vhd#71

VALID_POSITIVE_ST

Count: 4
ERROR_NEGATIVE_ST
ERROR_POSITIVE_ST
VALID_NEGATIVE_ST
VALID_POSITIVE_ST

Count: 0

5

4

Input Signals

Count: 5

Name	Declaration
LINK_RESET_DLRE	data_err_management.vhd#36
s_ack_request	data_err_management.vhd#74
s_far_end_rpf	data_err_management.vhd#79
s_nack_request	data_err_management.vhd#73
s_seq_err	data_err_management.vhd#80

Output Signals

Count: 4

Name	Declaration
NEAR_END_RPF_DERRM	data_err_management.vhd#44
SEQ_NUM_ACK_DERRM	data_err_management.vhd#52
ack_pol_flg	data_err_management.vhd#87
near_end_rpf	data_err_management.vhd#85

Transitions

Count: 14

From	To	Input Control Signals
ERROR_NEGATIVE_ST	ERROR_NEGATIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36 s_ack_request: data_err_management.vhd#74 s_far_end_rpf: data_err_management.vhd#79 s_seq_err: data_err_management.vhd#80
ERROR_NEGATIVE_ST	ERROR_POSITIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36 s_ack_request: data_err_management.vhd#74 s_far_end_rpf: data_err_management.vhd#79 s_seq_err: data_err_management.vhd#80
ERROR_NEGATIVE_ST	VALID_NEGATIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36 s_ack_request: data_err_management.vhd#74
ERROR_NEGATIVE_ST	VALID_POSITIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36
ERROR_POSITIVE_ST	ERROR_NEGATIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36 s_ack_request: data_err_management.vhd#74 s_far_end_rpf: data_err_management.vhd#79 s_seq_err: data_err_management.vhd#80
ERROR_POSITIVE_ST	ERROR_POSITIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36 s_ack_request: data_err_management.vhd#74 s_far_end_rpf: data_err_management.vhd#79 s_seq_err: data_err_management.vhd#80
ERROR_POSITIVE_ST	VALID_POSITIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36
ERROR_POSITIVE_ST	VALID_POSITIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36 s_ack_request: data_err_management.vhd#74
VALID_NEGATIVE_ST	ERROR_POSITIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36 s_nack_request: data_err_management.vhd#73
VALID_NEGATIVE_ST	VALID_NEGATIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36 s_nack_request: data_err_management.vhd#73
VALID_NEGATIVE_ST	VALID_POSITIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36
VALID_POSITIVE_ST	ERROR_NEGATIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36 s_nack_request: data_err_management.vhd#73
VALID_POSITIVE_ST	VALID_POSITIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36
VALID_POSITIVE_ST	VALID_POSITIVE_ST	LINK_RESET_DLRE: data_err_management.vhd#36 s_nack_request: data_err_management.vhd#73