[source]

Architecture rtl of arp_BroadCast_Requester

Types

Name

Description

T_STATE

Processes

process @ ( Reader_Counter_us or TargetIPv4Address_Data or TargetMACAddress_Data or SenderIPv4Address_Data or SenderMACAddress_Data or TX_Meta_DestMACAddress_nxt or TX_Meta_DestMACAddress_rst or TX_Ack or IsIPv6_l or IsIPv4_l or SendRequest or State or ) [source]
ST_IDLE ST_IDLE ST_SEND_HARDWARE_type_0 ST_SEND_HARDWARE_type_0 ST_SEND_HARDWARE_type_1 ST_SEND_HARDWARE_type_1 ST_SEND_PROTOCOL_type_0 ST_SEND_PROTOCOL_type_0 ST_SEND_PROTOCOL_type_1 ST_SEND_PROTOCOL_type_1 ST_SEND_HARDWARE_ADDRESS_LENGTH ST_SEND_HARDWARE_ADDRESS_LENGTH ST_SEND_PROTOCOL_ADDRESS_LENGTH ST_SEND_PROTOCOL_ADDRESS_LENGTH ST_SEND_OPERATION_0 ST_SEND_OPERATION_0 ST_SEND_OPERATION_1 ST_SEND_OPERATION_1 ST_SEND_SENDER_MAC ST_SEND_SENDER_MAC ST_SEND_SENDER_IP ST_SEND_SENDER_IP ST_SEND_TARGET_MAC ST_SEND_TARGET_MAC ST_SEND_TARGET_IP ST_SEND_TARGET_IP ST_COMPLETE ST_COMPLETE 1 [(SendRequest = '1')] 2 [(TX_Ack = '1')] 3 [(TX_Ack = '1')] 4 [(TX_Ack = '1')] 5 [(TX_Ack = '1')] 6 [(TX_Ack = '1')] 7 [(TX_Ack = '1')] 8 [(TX_Ack = '1')] 9 [(TX_Ack = '1')] 10 [((TX_Ack = '1') and (Reader_Counter_us = HARDWARE_ADDRESS_LENGTH - 1))] 11 [((TX_Ack = '1') and (IsIPv4_l = '1' and Reader_Counter_us = PROTOCOL_IPV4_ADDRESS_LENGTH - 1)), ((TX_Ack = '1') and not (IsIPv4_l = '1' and Reader_Counter_us = PROTOCOL_IPV4_ADDRESS_LENGTH - 1) and (IsIPv6_l = '1' and Reader_Counter_us = PROTOCOL_IPV6_ADDRESS_LENGTH - 1))] 12 [((TX_Ack = '1') and (Reader_Counter_us = HARDWARE_ADDRESS_LENGTH - 1))] 13 [((TX_Ack = '1') and (IsIPv4_l = '1' and Reader_Counter_us = PROTOCOL_IPV4_ADDRESS_LENGTH - 1)), ((TX_Ack = '1') and not (IsIPv4_l = '1' and Reader_Counter_us = PROTOCOL_IPV4_ADDRESS_LENGTH - 1) and (IsIPv6_l = '1' and Reader_Counter_us = PROTOCOL_IPV6_ADDRESS_LENGTH - 1))] 14 [EMPTY]
FSM Transitions for State

#

Current State

Next State

Condition

1

ST_IDLE

ST_SEND_HARDWARE_type_0

[(SendRequest = '1')]

2

ST_SEND_HARDWARE_type_0

ST_SEND_HARDWARE_type_1

[(TX_Ack = '1')]

3

ST_SEND_HARDWARE_type_1

ST_SEND_PROTOCOL_type_0

[(TX_Ack = '1')]

4

ST_SEND_PROTOCOL_type_0

ST_SEND_PROTOCOL_type_1

[(TX_Ack = '1')]

5

ST_SEND_PROTOCOL_type_1

ST_SEND_HARDWARE_ADDRESS_LENGTH

[(TX_Ack = '1')]

6

ST_SEND_HARDWARE_ADDRESS_LENGTH

ST_SEND_PROTOCOL_ADDRESS_LENGTH

[(TX_Ack = '1')]

7

ST_SEND_PROTOCOL_ADDRESS_LENGTH

ST_SEND_OPERATION_0

[(TX_Ack = '1')]

8

ST_SEND_OPERATION_0

ST_SEND_OPERATION_1

[(TX_Ack = '1')]

9

ST_SEND_OPERATION_1

ST_SEND_SENDER_MAC

[(TX_Ack = '1')]

10

ST_SEND_SENDER_MAC

ST_SEND_SENDER_IP

[((TX_Ack = '1') and (Reader_Counter_us = HARDWARE_ADDRESS_LENGTH - 1))]

11

ST_SEND_SENDER_IP

ST_SEND_TARGET_MAC

[((TX_Ack = '1') and (IsIPv4_l = '1' and Reader_Counter_us = PROTOCOL_IPV4_ADDRESS_LENGTH - 1)), ((TX_Ack = '1') and not (IsIPv4_l = '1' and Reader_Counter_us = PROTOCOL_IPV4_ADDRESS_LENGTH - 1) and (IsIPv6_l = '1' and Reader_Counter_us = PROTOCOL_IPV6_ADDRESS_LENGTH - 1))]

12

ST_SEND_TARGET_MAC

ST_SEND_TARGET_IP

[((TX_Ack = '1') and (Reader_Counter_us = HARDWARE_ADDRESS_LENGTH - 1))]

13

ST_SEND_TARGET_IP

ST_COMPLETE

[((TX_Ack = '1') and (IsIPv4_l = '1' and Reader_Counter_us = PROTOCOL_IPV4_ADDRESS_LENGTH - 1)), ((TX_Ack = '1') and not (IsIPv4_l = '1' and Reader_Counter_us = PROTOCOL_IPV4_ADDRESS_LENGTH - 1) and (IsIPv6_l = '1' and Reader_Counter_us = PROTOCOL_IPV6_ADDRESS_LENGTH - 1))]

14

ST_COMPLETE

ST_IDLE

[EMPTY]