1 /* 16 cache entries, 64-byte long cache lines */
 
   6         /* ARM core interface */
 
  10         output reg [31:0] rd_data,
 
  15         output reg [31:0] bus_addr,
 
  16         input [31:0] bus_rdata,
 
  17         output wire [31:0] bus_wdata,
 
  25         /* [31 tag 10] [9 cache index 6] [5 data index 0]
 
  26          * so the data index is 6 bits long
 
  27          * so the cache index is 4 bits long
 
  28          * so the tag is 22 bits long. c.c
 
  31         reg cache_valid [15:0];
 
  32         reg [21:0] cache_tags [15:0];
 
  33         reg [31:0] cache_data [15:0 /* line */] [15:0 /* word */];
 
  37                 for (i = 0; i < 16; i = i + 1)
 
  38                         cache_valid[i[3:0]] = 0;
 
  40         wire [5:0] rd_didx = rd_addr[5:0];
 
  41         wire [3:0] rd_didx_word = rd_didx[5:2];
 
  42         wire [3:0] rd_idx = rd_addr[9:6];
 
  43         wire [21:0] rd_tag = rd_addr[31:10];
 
  45         wire cache_hit = cache_valid[rd_idx] && (cache_tags[rd_idx] == rd_tag);
 
  47         always @(*) begin       /* XXX does this work nowadays? */
 
  48                 rd_wait = rd_req && !cache_hit;
 
  49                 rd_data = cache_data[rd_idx][rd_didx_word];
 
  52         reg [3:0] cache_fill_pos = 0;
 
  54                 if (rd_req && !cache_hit) begin
 
  57                                 bus_addr = {rd_addr[31:6], cache_fill_pos[3:0], 2'b00 /* reads are 32-bits */};
 
  67                 if (rd_req && !cache_hit) begin
 
  68                         if (bus_ready) begin    /* Started the fill, and we have data. */
 
  69                                 cache_data[rd_idx][cache_fill_pos] = bus_data;
 
  70                                 cache_fill_pos <= cache_fill_pos + 1;
 
  71                                 if (cache_fill_pos == 15) begin /* Done? */
 
  72                                         cache_tags[rd_idx] = rd_tag;
 
  73                                         cache_valid[rd_idx] = 1;