[source]

Architecture rtl of icmpv4_TX

Types

Name

Description

T_STATE

Processes

process @ ( PayloadROM_Data or PayloadROM_Reader_ov or Out_Ack or Command or State or ) [source]
ST_IDLE ST_IDLE ST_SEND_ECHO_type ST_SEND_ECHO_type ST_SEND_ECHO_CODE ST_SEND_ECHO_CODE ST_SEND_ECHOREQUEST_CHECKSUM_0 ST_SEND_ECHOREQUEST_CHECKSUM_0 ST_SEND_ECHOREQUEST_CHECKSUM_1 ST_SEND_ECHOREQUEST_CHECKSUM_1 ST_SEND_ECHOREQUEST_IDENTIFIER_0 ST_SEND_ECHOREQUEST_IDENTIFIER_0 ST_SEND_ECHOREQUEST_IDENTIFIER_1 ST_SEND_ECHOREQUEST_IDENTIFIER_1 ST_SEND_ECHOREQUEST_SEQUENCENUMBER_0 ST_SEND_ECHOREQUEST_SEQUENCENUMBER_0 ST_SEND_ECHOREQUEST_SEQUENCENUMBER_1 ST_SEND_ECHOREQUEST_SEQUENCENUMBER_1 ST_SEND_ECHOREQUEST_DATA ST_SEND_ECHOREQUEST_DATA ST_COMPLETE ST_COMPLETE ST_SEND_ECHOREPLY_DATA ST_SEND_ECHOREPLY_DATA 1 [(Command when NET_ICMPV4_TX_CMD_ECHO_REQUEST), (Command when NET_ICMPV4_TX_CMD_ECHO_REPLY)] 2 [(Out_Ack = '1')] 3 [(Out_Ack = '1')] 4 [(Out_Ack = '1')] 5 [(Out_Ack = '1')] 6 [(Out_Ack = '1')] 7 [(Out_Ack = '1')] 8 [(Out_Ack = '1')] 9 [(Out_Ack = '1')] 10 [((Out_Ack = '1') and (PayloadROM_Reader_ov = '1'))] 11 [EMPTY] 12 [((Out_Ack = '1') and (In_Meta_Payload_last = '1'))]
FSM Transitions for State

#

Current State

Next State

Condition

1

ST_IDLE

ST_SEND_ECHO_type

[(Command when NET_ICMPV4_TX_CMD_ECHO_REQUEST), (Command when NET_ICMPV4_TX_CMD_ECHO_REPLY)]

2

ST_SEND_ECHO_type

ST_SEND_ECHO_CODE

[(Out_Ack = '1')]

3

ST_SEND_ECHO_CODE

ST_SEND_ECHOREQUEST_CHECKSUM_0

[(Out_Ack = '1')]

4

ST_SEND_ECHOREQUEST_CHECKSUM_0

ST_SEND_ECHOREQUEST_CHECKSUM_1

[(Out_Ack = '1')]

5

ST_SEND_ECHOREQUEST_CHECKSUM_1

ST_SEND_ECHOREQUEST_IDENTIFIER_0

[(Out_Ack = '1')]

6

ST_SEND_ECHOREQUEST_IDENTIFIER_0

ST_SEND_ECHOREQUEST_IDENTIFIER_1

[(Out_Ack = '1')]

7

ST_SEND_ECHOREQUEST_IDENTIFIER_1

ST_SEND_ECHOREQUEST_SEQUENCENUMBER_0

[(Out_Ack = '1')]

8

ST_SEND_ECHOREQUEST_SEQUENCENUMBER_0

ST_SEND_ECHOREQUEST_SEQUENCENUMBER_1

[(Out_Ack = '1')]

9

ST_SEND_ECHOREQUEST_SEQUENCENUMBER_1

ST_SEND_ECHOREQUEST_DATA

[(Out_Ack = '1')]

10

ST_SEND_ECHOREQUEST_DATA

ST_COMPLETE

[((Out_Ack = '1') and (PayloadROM_Reader_ov = '1'))]

11

ST_COMPLETE

ST_IDLE

[EMPTY]

12

ST_SEND_ECHOREPLY_DATA

ST_COMPLETE

[((Out_Ack = '1') and (In_Meta_Payload_last = '1'))]