[source]

Architecture rtl of icmpv4_Wrapper

Types

Name

Description

T_STATE

Processes

process @ ( RX_Meta_Payload_last or RX_Meta_Payload_Data or RX_Meta_SequenceNumber or RX_Meta_Identification or RX_Error or RX_Status or TX_Meta_Payload_nxt or TX_Error or TX_Status or Command or FSM_State or ) [source]
ST_IDLE ST_IDLE ST_SEND_ECHO_REQUEST ST_SEND_ECHO_REQUEST ST_SEND_ECHO_REPLY ST_SEND_ECHO_REPLY ST_ERROR ST_ERROR ST_SEND_ECHO_REQUEST_WAIT ST_SEND_ECHO_REQUEST_WAIT ST_WAIT_FOR_ECHO_REPLY ST_WAIT_FOR_ECHO_REPLY ST_EVAL_ECHO_REPLY ST_EVAL_ECHO_REPLY ST_SEND_ECHO_REPLY_WAIT ST_SEND_ECHO_REPLY_WAIT ST_SEND_ECHO_REPLY_FINISHED ST_SEND_ECHO_REPLY_FINISHED 1 [(Command when NET_ICMPV4_CMD_ECHO_REQUEST)] 3 [(RX_Status when NET_ICMPV4_RX_STATUS_RECEIVED_ECHO_REQUEST)] 2 [(Command when others), (RX_Status when others)] 4 [EMPTY] 5 [EMPTY] 6 [(TX_Status when NET_ICMPV4_TX_STATUS_SEND_COMPLETE)] 7 [(TX_Status when NET_ICMPV4_TX_STATUS_ERROR), (TX_Status when others)] 8 [(RX_Status when NET_ICMPV4_RX_STATUS_RECEIVED_ECHO_REPLY)] 9 [(RX_Status when NET_ICMPV4_RX_STATUS_ERROR), (RX_Status when others)] 10 [(TRUE)] 11 [not (TRUE)] 12 [(TX_Status when NET_ICMPV4_TX_STATUS_SEND_COMPLETE)] 13 [(TX_Status when NET_ICMPV4_TX_STATUS_ERROR), (TX_Status when others)] 14 [EMPTY]
FSM Transitions for FSM_State

#

Current State

Next State

Condition

1

ST_IDLE

ST_SEND_ECHO_REQUEST

[(Command when NET_ICMPV4_CMD_ECHO_REQUEST)]

2

ST_IDLE

ST_ERROR

[(Command when others), (RX_Status when others)]

3

ST_IDLE

ST_SEND_ECHO_REPLY

[(RX_Status when NET_ICMPV4_RX_STATUS_RECEIVED_ECHO_REQUEST)]

4

ST_SEND_ECHO_REQUEST

ST_SEND_ECHO_REQUEST_WAIT

[EMPTY]

5

ST_ERROR

ST_IDLE

[EMPTY]

6

ST_SEND_ECHO_REQUEST_WAIT

ST_WAIT_FOR_ECHO_REPLY

[(TX_Status when NET_ICMPV4_TX_STATUS_SEND_COMPLETE)]

7

ST_SEND_ECHO_REQUEST_WAIT

ST_ERROR

[(TX_Status when NET_ICMPV4_TX_STATUS_ERROR), (TX_Status when others)]

8

ST_WAIT_FOR_ECHO_REPLY

ST_EVAL_ECHO_REPLY

[(RX_Status when NET_ICMPV4_RX_STATUS_RECEIVED_ECHO_REPLY)]

9

ST_WAIT_FOR_ECHO_REPLY

ST_ERROR

[(RX_Status when NET_ICMPV4_RX_STATUS_ERROR), (RX_Status when others)]

10

ST_EVAL_ECHO_REPLY

ST_IDLE

[(TRUE)]

11

ST_EVAL_ECHO_REPLY

ST_ERROR

[not (TRUE)]

12

ST_SEND_ECHO_REPLY_WAIT

ST_SEND_ECHO_REPLY_FINISHED

[(TX_Status when NET_ICMPV4_TX_STATUS_SEND_COMPLETE)]

13

ST_SEND_ECHO_REPLY_WAIT

ST_ERROR

[(TX_Status when NET_ICMPV4_TX_STATUS_ERROR), (TX_Status when others)]

14

ST_SEND_ECHO_REPLY_FINISHED

ST_IDLE

[EMPTY]