FSM #3: state
Summary
Name |
Location |
Graph |
Reset State |
States |
Input Signals |
Output Signals |
---|---|---|---|---|---|---|
state |
VALID_POSITIVE_ST |
Count: 4 |
5 |
4 |
Input Signals
Count: 5
Name |
Declaration |
---|---|
LINK_RESET_DLRE |
|
s_ack_request |
|
s_far_end_rpf |
|
s_nack_request |
|
s_seq_err |
Output Signals
Count: 4
Name |
Declaration |
---|---|
NEAR_END_RPF_DERRM |
|
SEQ_NUM_ACK_DERRM |
|
ack_pol_flg |
|
near_end_rpf |
Transition table
From |
To |
Input Control Signals |
---|---|---|
VALID_POSITIVE_ST |
VALID_POSITIVE_ST |
LINK_RESET_DLRE: |
VALID_POSITIVE_ST |
VALID_POSITIVE_ST |
LINK_RESET_DLRE: |
VALID_POSITIVE_ST |
ERROR_NEGATIVE_ST |
LINK_RESET_DLRE: |
VALID_NEGATIVE_ST |
VALID_POSITIVE_ST |
LINK_RESET_DLRE: |
VALID_NEGATIVE_ST |
VALID_NEGATIVE_ST |
LINK_RESET_DLRE: |
VALID_NEGATIVE_ST |
ERROR_POSITIVE_ST |
LINK_RESET_DLRE: |
ERROR_POSITIVE_ST |
VALID_POSITIVE_ST |
LINK_RESET_DLRE: |
ERROR_POSITIVE_ST |
VALID_POSITIVE_ST |
LINK_RESET_DLRE: |
ERROR_POSITIVE_ST |
ERROR_POSITIVE_ST |
LINK_RESET_DLRE: |
ERROR_POSITIVE_ST |
ERROR_NEGATIVE_ST |
LINK_RESET_DLRE: |
ERROR_NEGATIVE_ST |
VALID_POSITIVE_ST |
LINK_RESET_DLRE: |
ERROR_NEGATIVE_ST |
VALID_NEGATIVE_ST |
LINK_RESET_DLRE: |
ERROR_NEGATIVE_ST |
ERROR_POSITIVE_ST |
LINK_RESET_DLRE: |
ERROR_NEGATIVE_ST |
ERROR_NEGATIVE_ST |
LINK_RESET_DLRE: |