[source]

Architecture rtl of cache_tagunit_seq

Processes

process @ ( NewTagSeqCounter_us or Replace or Replace_State or ) [source]
ST_IDLE ST_IDLE ST_REPLACE ST_REPLACE 1 [(Replace = '1')] 2 [(NewTagSeqCounter_us = ite(TAG_BYTE_ORDER = LITTLE_ENDIAN, FA_CHUNKS - 1, 0))]
FSM Transitions for Replace_State

#

Current State

Next State

Condition

1

ST_IDLE

ST_REPLACE

[(Replace = '1')]

2

ST_REPLACE

ST_IDLE

[(NewTagSeqCounter_us = ite(TAG_BYTE_ORDER = LITTLE_ENDIAN, FA_CHUNKS - 1, 0))]

process @ ( TagHits_nor or TagSeqCounter_us or Request or Request_State or ) [source]
ST_IDLE ST_IDLE ST_COMPARE ST_COMPARE ST_READ ST_READ 1 [((Request = '1') and not (TagHits_nor = '1'))] 2 [(TagHits_nor = '1')] 3 [(not (TagHits_nor = '1') and (TagSeqCounter_us = ite(TAG_BYTE_ORDER = LITTLE_ENDIAN, FA_CHUNKS - 1, 0)))] 4 [((Request = '1') and (TagHits_nor = '1'))] 5 [((Request = '1') and not (TagHits_nor = '1'))]
FSM Transitions for Request_State

#

Current State

Next State

Condition

1

ST_IDLE

ST_COMPARE

[((Request = '1') and not (TagHits_nor = '1'))]

2

ST_COMPARE

ST_IDLE

[(TagHits_nor = '1')]

3

ST_COMPARE

ST_READ

[(not (TagHits_nor = '1') and (TagSeqCounter_us = ite(TAG_BYTE_ORDER = LITTLE_ENDIAN, FA_CHUNKS - 1, 0)))]

4

ST_READ

ST_IDLE

[((Request = '1') and (TagHits_nor = '1'))]

5

ST_READ

ST_COMPARE

[((Request = '1') and not (TagHits_nor = '1'))]