]>
Commit | Line | Data |
---|---|---|
7e757d70 JW |
1 | /* 16 cache entries, 64-byte long cache lines */ |
2 | ||
3 | module ICache( | |
4 | input clk, | |
c808669d JW |
5 | |
6 | /* ARM core interface */ | |
7e757d70 JW |
7 | input [31:0] rd_addr, |
8 | input rd_req, | |
9 | output reg rd_wait, | |
c808669d JW |
10 | output reg [31:0] rd_data, |
11 | ||
12 | /* bus interface */ | |
13 | output reg bus_req, | |
14 | input bus_ack, | |
15 | output reg [31:0] bus_addr, | |
cb1e103e JW |
16 | input [31:0] bus_rdata, |
17 | output wire [31:0] bus_wdata, | |
c808669d JW |
18 | output reg bus_rd, |
19 | output wire bus_wr, | |
20 | input bus_ready); | |
21 | ||
22 | assign bus_wr = 0; | |
cb1e103e | 23 | assign bus_wdata = 0; |
7e757d70 | 24 | |
f83818d5 | 25 | /* [31 tag 10] [9 cache index 6] [5 data index 0] |
7e757d70 JW |
26 | * so the data index is 6 bits long |
27 | * so the cache index is 4 bits long | |
f83818d5 | 28 | * so the tag is 22 bits long. c.c |
7e757d70 JW |
29 | */ |
30 | ||
31 | reg cache_valid [15:0]; | |
f83818d5 | 32 | reg [21:0] cache_tags [15:0]; |
28c904cc | 33 | reg [31:0] cache_data [15:0 /* line */] [15:0 /* word */]; |
7e757d70 | 34 | |
cb1e103e | 35 | reg [4:0] i; |
7e757d70 | 36 | initial |
cb1e103e JW |
37 | for (i = 0; i < 16; i = i + 1) |
38 | cache_valid[i[3:0]] = 0; | |
7e757d70 JW |
39 | |
40 | wire [5:0] rd_didx = rd_addr[5:0]; | |
41 | wire [3:0] rd_didx_word = rd_didx[5:2]; | |
f83818d5 JW |
42 | wire [3:0] rd_idx = rd_addr[9:6]; |
43 | wire [21:0] rd_tag = rd_addr[31:10]; | |
7e757d70 | 44 | |
c808669d JW |
45 | wire cache_hit = cache_valid[rd_idx] && (cache_tags[rd_idx] == rd_tag); |
46 | ||
7e757d70 | 47 | always @(*) begin /* XXX does this work nowadays? */ |
327f45ff | 48 | rd_wait = rd_req && !cache_hit; |
7e757d70 JW |
49 | rd_data = cache_data[rd_idx][rd_didx_word]; |
50 | end | |
c808669d JW |
51 | |
52 | reg [3:0] cache_fill_pos = 0; | |
28c904cc | 53 | always @(*) |
327f45ff | 54 | if (rd_req && !cache_hit) begin |
c808669d JW |
55 | bus_req = 1; |
56 | if (bus_ack) begin | |
57 | bus_addr = {rd_addr[31:6], cache_fill_pos[3:0], 2'b00 /* reads are 32-bits */}; | |
58 | bus_rd = 1; | |
59 | end | |
327f45ff JW |
60 | end else begin |
61 | bus_req = 0; | |
62 | bus_addr = 0; | |
63 | bus_rd = 0; | |
64 | end | |
65 | ||
66 | always @(posedge clk) | |
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; | |
cb1e103e | 71 | if (cache_fill_pos == 15) begin /* Done? */ |
327f45ff JW |
72 | cache_tags[rd_idx] = rd_tag; |
73 | cache_valid[rd_idx] = 1; | |
74 | end | |
75 | end | |
c808669d | 76 | end |
7e757d70 | 77 | endmodule |