Architecture rtl of arp_Wrapper

Types

Name	Description
T_FSMPOOL_STATE
T_FSMCACHE_STATE

Processes

process @ ( UCRsp_Complete or UCRsp_TargetIPv4Address_nxt or UCRsp_TargetMACAddress_nxt or UCRsp_SenderIPv4Address_nxt or UCRsp_SenderMACAddress_nxt or UCRsp_Address_rst or IPPool_IPv4Address_nxt or IPPool_PoolResult or BCRcv_TargetIPv4Address_Data or BCRcv_SenderIPv4Address_Data or BCRcv_SenderMACAddress_Data or BCRcv_Error or BCRcv_RequestReceived or MACSeq1_SenderMACAddress_Data or IPPool_Announce_l or FSMPool_State or )

sequencer

INTERFACE_MACAddress_Data

FSM Transitions for FSMPool_State

#	Current State	Next State	Condition
1	ST_IDLE	ST_IPPOOL_WAIT	[(BCRcv_RequestReceived = '1')]
2	ST_IPPOOL_WAIT	ST_SEND_RESPONSE	[(IPPool_PoolResult = CACHE_RESULT_HIT)]
3	ST_IPPOOL_WAIT	ST_IDLE	[(not (IPPool_PoolResult = CACHE_RESULT_HIT) and (IPPool_PoolResult = CACHE_RESULT_MISS))]
4	ST_SEND_RESPONSE	ST_IDLE	[(UCRsp_Complete = '1')]
5	ST_SEND_ANNOUNCE	ST_IDLE	[(UCRsp_Complete = '1')]

process @ ( BCReq_Complete or BCReq_TargetIPv4Address_nxt or BCReq_TargetMACAddress_nxt or BCReq_SenderIPv4Address_nxt or BCReq_SenderMACAddress_nxt or BCReq_Address_rst or ARPCache_NewIPv4Address_nxt or ARPCache_NewMACAddress_nxt or ARPCache_MACAddress_Data or ARPCache_IPv4Address_nxt or ARPCache_IPv4Address_rst or ARPCache_CacheResult or ARPCache_Status or UCRcv_TargetMACAddress_Data or UCRcv_TargetIPv4Address_Data or UCRcv_SenderMACAddress_Data or UCRcv_SenderIPv4Address_Data or UCRcv_ResponseReceived or UCRcv_Error or ARPReq_Timeout or IPSeq2_SenderIPv4Address_Data or MACSeq2_SenderMACAddress_Data or IPCache_MACAddress_nxt or IPCache_MACAddress_rst or IPCache_IPv4Address_Data or IPCache_Lookup or FSMCache_State or )

FSM Transitions for FSMCache_State

#	Current State	Next State	Condition
1	ST_IDLE	ST_CACHE	[(IPCache_Lookup = '1')]
2	ST_CACHE	ST_SEND_BROADCAST_REQUEST	[(ARPCache_CacheResult = CACHE_RESULT_MISS)]
3	ST_CACHE	ST_CACHE_WAIT	[not (ARPCache_CacheResult = CACHE_RESULT_MISS)]
4	ST_SEND_BROADCAST_REQUEST	ST_SEND_BROADCAST_REQUEST_WAIT	[EMPTY]
5	ST_CACHE_WAIT	ST_READ_CACHE	[(ARPCache_CacheResult = CACHE_RESULT_HIT)]
6	ST_CACHE_WAIT	ST_SEND_BROADCAST_REQUEST	[(not (ARPCache_CacheResult = CACHE_RESULT_HIT) and (ARPCache_CacheResult = CACHE_RESULT_MISS))]
7	ST_SEND_BROADCAST_REQUEST_WAIT	ST_WAIT_FOR_UNICAST_RESPONSE	[(BCReq_Complete = '1')]
8	ST_READ_CACHE	ST_CACHE	[(IPCache_Lookup = '1')]
9	ST_WAIT_FOR_UNICAST_RESPONSE	ST_ERROR	[(UCRcv_Error = '1')]
10	ST_WAIT_FOR_UNICAST_RESPONSE	ST_UPDATE_CACHE	[(not (UCRcv_Error = '1') and (UCRcv_ResponseReceived = '1'))]
11	ST_WAIT_FOR_UNICAST_RESPONSE	ST_SEND_BROADCAST_REQUEST	[(not (UCRcv_Error = '1') and not (UCRcv_ResponseReceived = '1') and (ARPReq_Timeout = '1'))]
12	ST_ERROR	ST_IDLE	[EMPTY]
13	ST_UPDATE_CACHE	ST_CACHE	[(ARPCache_Status = NET_ARP_ARPCACHE_STATUS_UPDATE_COMPLETE)]

×