[source]

Architecture rtl of cache_cpu

Types

Name

Description

T_FSM

FSM and other state registers

Processes

process @ ( clk or ) [source]
READING_MEM READING_MEM READY READY UNKNOWN UNKNOWN ACCESS_MEM ACCESS_MEM 1 [(to_x01(mem_rstb) when '1')] 2 [(to_x01(mem_rstb) when others)] 3 [(cache_Hit and cpu_write or cache_Miss when '1')] 4 [(cache_Hit and cpu_write or cache_Miss when others)] 6 [((to_x01(mem_rdy) when '1') and (to_x01(cpu_write) when '0'))] 5 [((to_x01(mem_rdy) when '1') and (to_x01(cpu_write) when '1'))] 7 [(to_x01(mem_rdy) when others), ((to_x01(mem_rdy) when '1') and (to_x01(cpu_write) when others))]
FSM Transitions for fsm_cs

#

Current State

Next State

Condition

1

READING_MEM

READY

[(to_x01(mem_rstb) when '1')]

2

READING_MEM

UNKNOWN

[(to_x01(mem_rstb) when others)]

3

READY

ACCESS_MEM

[(cache_Hit and cpu_write or cache_Miss when '1')]

4

READY

UNKNOWN

[(cache_Hit and cpu_write or cache_Miss when others)]

5

ACCESS_MEM

READY

[((to_x01(mem_rdy) when '1') and (to_x01(cpu_write) when '1'))]

6

ACCESS_MEM

READING_MEM

[((to_x01(mem_rdy) when '1') and (to_x01(cpu_write) when '0'))]

7

ACCESS_MEM

UNKNOWN

[(to_x01(mem_rdy) when others), ((to_x01(mem_rdy) when '1') and (to_x01(cpu_write) when others))]