[source]

Architecture rtl of ipv6_TX

Types

Name

Description

T_STATE

Processes

process @ ( IPv6SeqCounter_us or In_Meta_NextHeader or In_Meta_FlowLabel or In_Meta_TrafficClass or In_Meta_SrcIPv6Address_Data or In_Meta_DestIPv6Address_Data or NDP_NextHop_MACAddress_Data or NDP_NextHop_IPv6Address_nxt or NDP_NextHop_IPv6Address_rst or NDP_NextHop_Valid or Out_Meta_DestMACAddress_nxt or Out_Meta_rst or Out_Ack or In_Meta_Length or In_Data or In_EOF or In_SOF or In_Valid or State or ) [source]
ST_IDLE ST_IDLE ST_NDP_QUERY ST_NDP_QUERY ST_NDP_QUERY_WAIT ST_NDP_QUERY_WAIT ST_SEND_VERSION ST_SEND_VERSION ST_SEND_TRAFFIC_CLASS ST_SEND_TRAFFIC_CLASS ST_SEND_FLOW_LABEL_1 ST_SEND_FLOW_LABEL_1 ST_SEND_FLOW_LABEL_2 ST_SEND_FLOW_LABEL_2 ST_SEND_In_Meta_Length_0 ST_SEND_In_Meta_Length_0 ST_SEND_In_Meta_Length_1 ST_SEND_In_Meta_Length_1 ST_SEND_NEXT_HEADER ST_SEND_NEXT_HEADER ST_SEND_HOP_LIMIT ST_SEND_HOP_LIMIT ST_SEND_SOURCE_ADDRESS ST_SEND_SOURCE_ADDRESS ST_SEND_DESTINATION_ADDRESS ST_SEND_DESTINATION_ADDRESS ST_SEND_DATA ST_SEND_DATA ST_DISCARD_FRAME ST_DISCARD_FRAME ST_ERROR ST_ERROR 1 [(In_Valid and In_SOF = '1')] 4 [not (NDP_NextHop_Valid = '1')] 3 [((NDP_NextHop_Valid = '1') and not (Out_Ack = '1'))] 2 [((NDP_NextHop_Valid = '1') and (Out_Ack = '1'))] 8 [((NDP_NextHop_Valid = '1') and not (Out_Ack = '1'))] 7 [((NDP_NextHop_Valid = '1') and (Out_Ack = '1'))] 6 [(Out_Ack = '1')] 5 [(Out_Ack = '1')] 9 [(Out_Ack = '1')] 10 [(Out_Ack = '1')] 11 [(Out_Ack = '1')] 12 [(Out_Ack = '1')] 13 [(Out_Ack = '1')] 14 [(Out_Ack = '1')] 15 [((Out_Ack = '1') and (IPv6SeqCounter_us = 15))] 16 [((Out_Ack = '1') and (IPv6SeqCounter_us = 15))] 17 [(In_EOF and Out_Ack = '1')]
FSM Transitions for State

#

Current State

Next State

Condition

1

ST_IDLE

ST_NDP_QUERY

[(In_Valid and In_SOF = '1')]

2

ST_NDP_QUERY

ST_SEND_TRAFFIC_CLASS

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

3

ST_NDP_QUERY

ST_SEND_VERSION

[((NDP_NextHop_Valid = '1') and not (Out_Ack = '1'))]

4

ST_NDP_QUERY

ST_NDP_QUERY_WAIT

[not (NDP_NextHop_Valid = '1')]

5

ST_SEND_TRAFFIC_CLASS

ST_SEND_FLOW_LABEL_1

[(Out_Ack = '1')]

6

ST_SEND_VERSION

ST_SEND_TRAFFIC_CLASS

[(Out_Ack = '1')]

7

ST_NDP_QUERY_WAIT

ST_SEND_TRAFFIC_CLASS

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

8

ST_NDP_QUERY_WAIT

ST_SEND_VERSION

[((NDP_NextHop_Valid = '1') and not (Out_Ack = '1'))]

9

ST_SEND_FLOW_LABEL_1

ST_SEND_FLOW_LABEL_2

[(Out_Ack = '1')]

10

ST_SEND_FLOW_LABEL_2

ST_SEND_In_Meta_Length_0

[(Out_Ack = '1')]

11

ST_SEND_In_Meta_Length_0

ST_SEND_In_Meta_Length_1

[(Out_Ack = '1')]

12

ST_SEND_In_Meta_Length_1

ST_SEND_NEXT_HEADER

[(Out_Ack = '1')]

13

ST_SEND_NEXT_HEADER

ST_SEND_HOP_LIMIT

[(Out_Ack = '1')]

14

ST_SEND_HOP_LIMIT

ST_SEND_SOURCE_ADDRESS

[(Out_Ack = '1')]

15

ST_SEND_SOURCE_ADDRESS

ST_SEND_DESTINATION_ADDRESS

[((Out_Ack = '1') and (IPv6SeqCounter_us = 15))]

16

ST_SEND_DESTINATION_ADDRESS

ST_SEND_DATA

[((Out_Ack = '1') and (IPv6SeqCounter_us = 15))]

17

ST_SEND_DATA

ST_IDLE

[(In_EOF and Out_Ack = '1')]