NCOR: An FPGA-Friendly Nonblocking Data Cache for Soft Processors with Runahead Execution
Figure 6
Lookup and Request state machines. Double-lined states are initial states. Lookup waits for Request completion in the “wait” state. All black states generate requests targeted at the Bus controller.