809 lines
31 KiB
Verilog
809 lines
31 KiB
Verilog
`include "VX_cache_config.vh"
|
|
|
|
module VX_bank #(
|
|
parameter CACHE_ID = 0,
|
|
parameter BANK_ID = 0,
|
|
|
|
// Size of cache in bytes
|
|
parameter CACHE_SIZE = 1,
|
|
// Size of line inside a bank in bytes
|
|
parameter BANK_LINE_SIZE = 1,
|
|
// Number of bankS
|
|
parameter NUM_BANKS = 1,
|
|
// Size of a word in bytes
|
|
parameter WORD_SIZE = 1,
|
|
// Number of Word requests per cycle
|
|
parameter NUM_REQS = 1,
|
|
|
|
// Core Request Queue Size
|
|
parameter CREQ_SIZE = 1,
|
|
// Miss Reserv Queue Knob
|
|
parameter MSHR_SIZE = 1,
|
|
// DRAM Response Queue Size
|
|
parameter DRSQ_SIZE = 1,
|
|
|
|
// Core Response Queue Size
|
|
parameter CRSQ_SIZE = 1,
|
|
// DRAM Request Queue Size
|
|
parameter DREQ_SIZE = 1,
|
|
|
|
// Enable dram update
|
|
parameter DRAM_ENABLE = 1,
|
|
|
|
// Enable cache writeable
|
|
parameter WRITE_ENABLE = 1,
|
|
|
|
// Enable write-through
|
|
parameter WRITE_THROUGH = 1,
|
|
|
|
// core request tag size
|
|
parameter CORE_TAG_WIDTH = 1,
|
|
|
|
// size of tag id in core request tag
|
|
parameter CORE_TAG_ID_BITS = 0
|
|
) (
|
|
`SCOPE_IO_VX_bank
|
|
|
|
input wire clk,
|
|
input wire reset,
|
|
|
|
`ifdef PERF_ENABLE
|
|
output wire perf_read_misses,
|
|
output wire perf_write_misses,
|
|
output wire perf_mshr_stalls,
|
|
output wire perf_pipe_stalls,
|
|
`endif
|
|
|
|
// Core Request
|
|
input wire core_req_valid,
|
|
input wire [`REQS_BITS-1:0] core_req_tid,
|
|
input wire core_req_rw,
|
|
input wire [WORD_SIZE-1:0] core_req_byteen,
|
|
input wire [`WORD_ADDR_WIDTH-1:0] core_req_addr,
|
|
input wire [`WORD_WIDTH-1:0] core_req_data,
|
|
input wire [CORE_TAG_WIDTH-1:0] core_req_tag,
|
|
output wire core_req_ready,
|
|
|
|
// Core Response
|
|
output wire core_rsp_valid,
|
|
output wire [`REQS_BITS-1:0] core_rsp_tid,
|
|
output wire [`WORD_WIDTH-1:0] core_rsp_data,
|
|
output wire [CORE_TAG_WIDTH-1:0] core_rsp_tag,
|
|
input wire core_rsp_ready,
|
|
|
|
// DRAM request
|
|
output wire dram_req_valid,
|
|
output wire dram_req_rw,
|
|
output wire [BANK_LINE_SIZE-1:0] dram_req_byteen,
|
|
output wire [`LINE_ADDR_WIDTH-1:0] dram_req_addr,
|
|
output wire [`BANK_LINE_WIDTH-1:0] dram_req_data,
|
|
input wire dram_req_ready,
|
|
|
|
// DRAM response
|
|
input wire dram_rsp_valid,
|
|
input wire [`LINE_ADDR_WIDTH-1:0] dram_rsp_addr,
|
|
input wire [`BANK_LINE_WIDTH-1:0] dram_rsp_data,
|
|
output wire dram_rsp_ready
|
|
);
|
|
`ifdef DBG_CACHE_REQ_INFO
|
|
/* verilator lint_off UNUSED */
|
|
wire [31:0] debug_pc_st0;
|
|
wire [`NW_BITS-1:0] debug_wid_st0;
|
|
|
|
wire [31:0] debug_pc_st1;
|
|
wire [`NW_BITS-1:0] debug_wid_st1;
|
|
|
|
wire [31:0] debug_pc_st12;
|
|
wire [`NW_BITS-1:0] debug_wid_st12;
|
|
|
|
wire [31:0] debug_pc_st2;
|
|
wire [`NW_BITS-1:0] debug_wid_st2;
|
|
/* verilator lint_on UNUSED */
|
|
`endif
|
|
|
|
wire drsq_pop;
|
|
wire drsq_empty;
|
|
|
|
wire [`LINE_ADDR_WIDTH-1:0] drsq_addr_st0;
|
|
wire [`BANK_LINE_WIDTH-1:0] drsq_filldata_st0;
|
|
|
|
wire drsq_push = dram_rsp_valid && dram_rsp_ready;
|
|
|
|
if (DRAM_ENABLE) begin
|
|
wire drsq_full;
|
|
assign dram_rsp_ready = !drsq_full;
|
|
|
|
VX_fifo_queue #(
|
|
.DATAW (`LINE_ADDR_WIDTH + $bits(dram_rsp_data)),
|
|
.SIZE (DRSQ_SIZE),
|
|
.BUFFERED (1),
|
|
.FASTRAM (1)
|
|
) dram_rsp_queue (
|
|
.clk (clk),
|
|
.reset (reset),
|
|
.push (drsq_push),
|
|
.pop (drsq_pop),
|
|
.data_in ({dram_rsp_addr, dram_rsp_data}),
|
|
.data_out({drsq_addr_st0, drsq_filldata_st0}),
|
|
.empty (drsq_empty),
|
|
.full (drsq_full),
|
|
`UNUSED_PIN (size)
|
|
);
|
|
end else begin
|
|
`UNUSED_VAR (dram_rsp_valid)
|
|
`UNUSED_VAR (dram_rsp_addr)
|
|
`UNUSED_VAR (dram_rsp_data)
|
|
assign drsq_empty = 1;
|
|
assign drsq_addr_st0 = 0;
|
|
assign drsq_filldata_st0 = 0;
|
|
assign dram_rsp_ready = 0;
|
|
end
|
|
|
|
wire creq_pop;
|
|
wire creq_empty;
|
|
wire creq_full;
|
|
wire [`REQS_BITS-1:0] creq_tid_st0;
|
|
wire creq_rw_st0;
|
|
wire [WORD_SIZE-1:0] creq_byteen_st0;
|
|
`IGNORE_WARNINGS_BEGIN
|
|
wire [`WORD_ADDR_WIDTH-1:0] creq_addr_st0;
|
|
`IGNORE_WARNINGS_END
|
|
wire [`WORD_WIDTH-1:0] creq_writeword_st0;
|
|
wire [CORE_TAG_WIDTH-1:0] creq_tag_st0;
|
|
|
|
wire creq_push = (| core_req_valid) && core_req_ready;
|
|
assign core_req_ready = !creq_full;
|
|
|
|
VX_fifo_queue #(
|
|
.DATAW (CORE_TAG_WIDTH + `REQS_BITS + 1 + WORD_SIZE + `WORD_ADDR_WIDTH + `WORD_WIDTH),
|
|
.SIZE (CREQ_SIZE),
|
|
.BUFFERED (1),
|
|
.FASTRAM (1)
|
|
) core_req_queue (
|
|
.clk (clk),
|
|
.reset (reset),
|
|
.push (creq_push),
|
|
.pop (creq_pop),
|
|
.data_in ({core_req_tag, core_req_tid, core_req_rw, core_req_byteen, core_req_addr, core_req_data}),
|
|
.data_out({creq_tag_st0, creq_tid_st0, creq_rw_st0, creq_byteen_st0, creq_addr_st0, creq_writeword_st0}),
|
|
.empty (creq_empty),
|
|
.full (creq_full),
|
|
`UNUSED_PIN (size)
|
|
);
|
|
|
|
wire mshr_pop;
|
|
reg [$clog2(MSHR_SIZE+1)-1:0] mshr_pending_size;
|
|
wire [$clog2(MSHR_SIZE+1)-1:0] mshr_pending_size_n;
|
|
reg mshr_going_full;
|
|
|
|
wire mshr_valid_st0;
|
|
wire [`REQS_BITS-1:0] mshr_tid_st0;
|
|
wire [`LINE_ADDR_WIDTH-1:0] mshr_addr_st0;
|
|
wire [`UP(`WORD_SELECT_WIDTH)-1:0] mshr_wsel_st0;
|
|
wire [`WORD_WIDTH-1:0] mshr_writeword_st0;
|
|
wire [`REQ_TAG_WIDTH-1:0] mshr_tag_st0;
|
|
wire mshr_rw_st0;
|
|
wire [WORD_SIZE-1:0] mshr_byteen_st0;
|
|
wire mshr_pending_hazard_unqual_st0;
|
|
|
|
wire is_fill_st0;
|
|
wire is_mshr_st0;
|
|
wire valid_st0;
|
|
wire [`LINE_ADDR_WIDTH-1:0] addr_st0;
|
|
wire [`UP(`WORD_SELECT_WIDTH)-1:0] wsel_st0;
|
|
wire [`WORD_WIDTH-1:0] writeword_st0;
|
|
wire [`BANK_LINE_WIDTH-1:0] writedata_st0;
|
|
wire [`REQ_TAG_WIDTH-1:0] tag_st0;
|
|
wire mem_rw_st0;
|
|
wire [WORD_SIZE-1:0] byteen_st0;
|
|
wire [`REQS_BITS-1:0] req_tid_st0;
|
|
|
|
wire is_fill_st1;
|
|
wire is_mshr_st1;
|
|
wire valid_st1;
|
|
wire [`LINE_ADDR_WIDTH-1:0] addr_st1;
|
|
wire [`UP(`WORD_SELECT_WIDTH)-1:0] wsel_st1;
|
|
wire [`WORD_WIDTH-1:0] readword_st1;
|
|
wire [`BANK_LINE_WIDTH-1:0] readdata_st1;
|
|
wire [BANK_LINE_SIZE-1:0] dirtyb_st1;
|
|
wire [`WORD_WIDTH-1:0] writeword_st1;
|
|
wire [`BANK_LINE_WIDTH-1:0] writedata_st1;
|
|
wire [`TAG_SELECT_BITS-1:0] readtag_st1;
|
|
wire miss_st1;
|
|
wire force_miss_st1;
|
|
wire dirty_st1;
|
|
wire writeen_st1;
|
|
wire [`REQ_TAG_WIDTH-1:0] tag_st1;
|
|
wire mem_rw_st1;
|
|
wire [WORD_SIZE-1:0] byteen_st1;
|
|
wire [`REQS_BITS-1:0] req_tid_st1;
|
|
wire core_req_hit_st1;
|
|
wire incoming_fill_st1;
|
|
wire do_writeback_st1;
|
|
wire mshr_push_st1;
|
|
wire crsq_push_st1;
|
|
wire dreq_push_st1;
|
|
|
|
wire valid_st12;
|
|
wire writeen_st12;
|
|
wire [`LINE_ADDR_WIDTH-1:0] addr_st12;
|
|
wire [`UP(`WORD_SELECT_WIDTH)-1:0] wsel_st12;
|
|
wire [WORD_SIZE-1:0] byteen_st12;
|
|
wire [`WORD_WIDTH-1:0] writeword_st12;
|
|
wire [`REQ_TAG_WIDTH-1:0] tag_st12;
|
|
|
|
wire valid_st2;
|
|
wire [`UP(`WORD_SELECT_WIDTH)-1:0] wsel_st2;
|
|
wire [`WORD_WIDTH-1:0] readword_st2;
|
|
wire [`WORD_WIDTH-1:0] writeword_st2;
|
|
wire [`BANK_LINE_WIDTH-1:0] readdata_st2;
|
|
wire [`BANK_LINE_WIDTH-1:0] writedata_st2;
|
|
wire [BANK_LINE_SIZE-1:0] dirtyb_st2;
|
|
wire [`TAG_SELECT_BITS-1:0] readtag_st2;
|
|
wire is_fill_st2;
|
|
wire is_mshr_st2;
|
|
wire miss_st2;
|
|
wire force_miss_st2;
|
|
wire[`LINE_ADDR_WIDTH-1:0] addr_st2;
|
|
wire writeen_st2;
|
|
wire [`REQ_TAG_WIDTH-1:0] tag_st2;
|
|
wire mem_rw_st2;
|
|
wire [WORD_SIZE-1:0] byteen_st2;
|
|
wire [`REQS_BITS-1:0] req_tid_st2;
|
|
wire core_req_hit_st2;
|
|
wire incoming_fill_st2;
|
|
wire do_writeback_st2;
|
|
wire mshr_push_st2;
|
|
wire crsq_push_st2;
|
|
wire dreq_push_st2;
|
|
|
|
wire mshr_push_stall;
|
|
wire crsq_push_stall;
|
|
wire dreq_push_stall;
|
|
wire pipeline_stall;
|
|
|
|
wire is_mshr_miss_st2 = valid_st2 && is_mshr_st2 && (miss_st2 || force_miss_st2);
|
|
|
|
wire creq_commit = valid_st2
|
|
&& (core_req_hit_st2 || (WRITE_THROUGH && mem_rw_st2))
|
|
&& !pipeline_stall;
|
|
|
|
// determine which queue to pop next in piority order
|
|
wire mshr_pop_unqual = mshr_valid_st0;
|
|
wire drsq_pop_unqual = !mshr_pop_unqual && !drsq_empty;
|
|
wire creq_pop_unqual = !mshr_pop_unqual && !drsq_pop_unqual && !creq_empty && !mshr_going_full;
|
|
|
|
assign mshr_pop = mshr_pop_unqual && !pipeline_stall
|
|
&& !is_mshr_miss_st2; // stop if previous request was a miss
|
|
assign drsq_pop = drsq_pop_unqual && !pipeline_stall;
|
|
assign creq_pop = creq_pop_unqual && !pipeline_stall;
|
|
|
|
// MSHR pending size
|
|
assign mshr_pending_size_n = mshr_pending_size +
|
|
((creq_pop && !creq_commit) ? 1 : ((creq_commit && !creq_pop) ? -1 : 0));
|
|
always @(posedge clk) begin
|
|
if (reset) begin
|
|
mshr_pending_size <= 0;
|
|
mshr_going_full <= 0;
|
|
end else begin
|
|
mshr_pending_size <= mshr_pending_size_n;
|
|
mshr_going_full <= (mshr_pending_size_n == MSHR_SIZE);
|
|
end
|
|
end
|
|
|
|
assign is_mshr_st0 = mshr_pop_unqual;
|
|
assign is_fill_st0 = drsq_pop_unqual;
|
|
|
|
assign valid_st0 = drsq_pop || mshr_pop || creq_pop;
|
|
|
|
assign addr_st0 = mshr_pop_unqual ? mshr_addr_st0 :
|
|
drsq_pop_unqual ? drsq_addr_st0 :
|
|
creq_pop_unqual ? creq_addr_st0[`LINE_SELECT_ADDR_RNG] :
|
|
0;
|
|
|
|
if (`WORD_SELECT_WIDTH != 0) begin
|
|
assign wsel_st0 = creq_pop_unqual ? creq_addr_st0[`WORD_SELECT_WIDTH-1:0] :
|
|
mshr_pop_unqual ? mshr_wsel_st0 :
|
|
0;
|
|
end else begin
|
|
`UNUSED_VAR (mshr_wsel_st0)
|
|
assign wsel_st0 = 0;
|
|
end
|
|
|
|
assign writedata_st0 = drsq_filldata_st0;
|
|
|
|
assign tag_st0 = mshr_pop_unqual ? `REQ_TAG_WIDTH'(mshr_tag_st0) :
|
|
creq_pop_unqual ? `REQ_TAG_WIDTH'(creq_tag_st0) :
|
|
0;
|
|
|
|
assign mem_rw_st0 = mshr_pop_unqual ? mshr_rw_st0 :
|
|
creq_pop_unqual ? creq_rw_st0 :
|
|
0;
|
|
|
|
assign byteen_st0 = mshr_pop_unqual ? mshr_byteen_st0 :
|
|
creq_pop_unqual ? creq_byteen_st0 :
|
|
0;
|
|
|
|
assign req_tid_st0 = mshr_pop_unqual ? mshr_tid_st0 :
|
|
creq_pop_unqual ? creq_tid_st0 :
|
|
0;
|
|
|
|
assign writeword_st0 = mshr_pop_unqual ? mshr_writeword_st0 :
|
|
creq_pop_unqual ? creq_writeword_st0 :
|
|
0;
|
|
|
|
`ifdef DBG_CACHE_REQ_INFO
|
|
if (CORE_TAG_WIDTH != CORE_TAG_ID_BITS && CORE_TAG_ID_BITS != 0) begin
|
|
assign {debug_pc_st0, debug_wid_st0} = tag_st0[CORE_TAG_WIDTH-1:CORE_TAG_ID_BITS];
|
|
end else begin
|
|
assign {debug_pc_st0, debug_wid_st0} = 0;
|
|
end
|
|
`endif
|
|
|
|
if (DRAM_ENABLE) begin
|
|
|
|
wire mshr_pending_hazard_st1;
|
|
|
|
// we have a miss in mshr or in stage 3 for the current address
|
|
wire mshr_pending_hazard_st0 = mshr_pending_hazard_unqual_st0
|
|
|| (valid_st2 && (miss_st2 || force_miss_st2) && (addr_st2 == addr_st0));
|
|
|
|
VX_pipe_register #(
|
|
.DATAW (1 + 1 + 1 + `LINE_ADDR_WIDTH + `UP(`WORD_SELECT_WIDTH) + `WORD_WIDTH + 1 + `BANK_LINE_WIDTH + 1 + WORD_SIZE + `REQS_BITS + `REQ_TAG_WIDTH),
|
|
.RESETW (1)
|
|
) pipe_reg1 (
|
|
.clk (clk),
|
|
.reset (reset),
|
|
.enable (!pipeline_stall),
|
|
.data_in ({valid_st0, is_mshr_st0, mshr_pending_hazard_st0, addr_st0, wsel_st0, writeword_st0, is_fill_st0, writedata_st0, mem_rw_st0, byteen_st0, req_tid_st0, tag_st0}),
|
|
.data_out ({valid_st1, is_mshr_st1, mshr_pending_hazard_st1, addr_st1, wsel_st1, writeword_st1, is_fill_st1, writedata_st1, mem_rw_st1, byteen_st1, req_tid_st1, tag_st1})
|
|
);
|
|
|
|
`ifdef DBG_CACHE_REQ_INFO
|
|
if (CORE_TAG_WIDTH != CORE_TAG_ID_BITS && CORE_TAG_ID_BITS != 0) begin
|
|
assign {debug_pc_st1, debug_wid_st1} = tag_st1[CORE_TAG_WIDTH-1:CORE_TAG_ID_BITS];
|
|
end else begin
|
|
assign {debug_pc_st1, debug_wid_st1} = 0;
|
|
end
|
|
`endif
|
|
|
|
// force miss to ensure commit order when a new request has pending previous requests to same block
|
|
// also force a miss for mshr requests when previous requests got a miss
|
|
wire st2_pending_hazard_st1 = valid_st2 && (miss_st2 || force_miss_st2) && (addr_st2 == addr_st1);
|
|
assign force_miss_st1 = (valid_st1 && !is_mshr_st1 && !is_fill_st1
|
|
&& (mshr_pending_hazard_st1 || st2_pending_hazard_st1))
|
|
|| (valid_st1 && is_mshr_st1 && is_mshr_miss_st2);
|
|
|
|
VX_tag_access #(
|
|
.BANK_ID (BANK_ID),
|
|
.CACHE_ID (CACHE_ID),
|
|
.CORE_TAG_ID_BITS(CORE_TAG_ID_BITS),
|
|
.CACHE_SIZE (CACHE_SIZE),
|
|
.BANK_LINE_SIZE (BANK_LINE_SIZE),
|
|
.NUM_BANKS (NUM_BANKS),
|
|
.WORD_SIZE (WORD_SIZE),
|
|
.WRITE_ENABLE (WRITE_ENABLE)
|
|
) tag_access (
|
|
.clk (clk),
|
|
.reset (reset),
|
|
|
|
`ifdef DBG_CACHE_REQ_INFO
|
|
.debug_pc (debug_pc_st1),
|
|
.debug_wid (debug_wid_st1),
|
|
`endif
|
|
|
|
.stall (pipeline_stall),
|
|
|
|
// Inputs
|
|
.valid_in (valid_st1),
|
|
.addr_in (addr_st1),
|
|
.is_write_in (mem_rw_st1),
|
|
.is_fill_in (is_fill_st1),
|
|
.force_miss_in (force_miss_st1),
|
|
|
|
// Outputs
|
|
.readtag_out (readtag_st1),
|
|
.miss_out (miss_st1),
|
|
.dirty_out (dirty_st1),
|
|
.writeen_out (writeen_st1)
|
|
);
|
|
|
|
assign valid_st12 = valid_st2;
|
|
assign writeen_st12 = writeen_st2;
|
|
assign addr_st12 = addr_st2;
|
|
assign wsel_st12 = wsel_st2;
|
|
assign byteen_st12 = byteen_st2;
|
|
assign writeword_st12 = writeword_st2;
|
|
assign tag_st12 = tag_st2;
|
|
|
|
assign core_req_hit_st1 = !is_fill_st1 && !miss_st1 && !force_miss_st1;
|
|
|
|
assign incoming_fill_st1 = !drsq_empty && (addr_st1 == drsq_addr_st0);
|
|
|
|
wire do_fill_req_st1 = miss_st1
|
|
&& !(WRITE_THROUGH && mem_rw_st1)
|
|
&& (!force_miss_st1
|
|
|| (is_mshr_st1 && addr_st1 != addr_st2))
|
|
&& !incoming_fill_st1;
|
|
|
|
assign do_writeback_st1 = (WRITE_THROUGH && mem_rw_st1)
|
|
|| (!WRITE_THROUGH && dirty_st1 && is_fill_st1);
|
|
|
|
assign dreq_push_st1 = do_fill_req_st1 || do_writeback_st1;
|
|
|
|
assign mshr_push_st1 = (miss_st1 || force_miss_st1)
|
|
&& !(WRITE_THROUGH && mem_rw_st1);
|
|
|
|
assign crsq_push_st1 = core_req_hit_st1 && !mem_rw_st1;
|
|
|
|
end else begin
|
|
|
|
`UNUSED_VAR (mshr_pending_hazard_unqual_st0)
|
|
`UNUSED_VAR (drsq_push)
|
|
`UNUSED_VAR (dirty_st1)
|
|
`UNUSED_VAR (writeen_st2)
|
|
|
|
`ifdef DBG_CACHE_REQ_INFO
|
|
assign debug_pc_st1 = debug_pc_st0;
|
|
assign debug_wid_st1 = debug_wid_st0;
|
|
`endif
|
|
|
|
assign is_fill_st1 = is_fill_st0;
|
|
assign is_mshr_st1 = is_mshr_st0;
|
|
assign valid_st1 = valid_st0;
|
|
assign wsel_st1 = wsel_st0;
|
|
assign writeword_st1 = writeword_st0;
|
|
assign writedata_st1 = writedata_st0;
|
|
assign addr_st1 = creq_addr_st0[`LINE_SELECT_ADDR_RNG];
|
|
assign tag_st1 = tag_st0;
|
|
assign mem_rw_st1 = mem_rw_st0;
|
|
assign byteen_st1 = byteen_st0;
|
|
assign req_tid_st1 = req_tid_st0;
|
|
assign dirty_st1 = 0;
|
|
assign readtag_st1 = 0;
|
|
assign miss_st1 = 0;
|
|
assign writeen_st1 = mem_rw_st0;
|
|
assign force_miss_st1 = 0;
|
|
|
|
assign valid_st12 = valid_st0;
|
|
assign writeen_st12 = mem_rw_st0;
|
|
assign addr_st12 = addr_st0;
|
|
assign wsel_st12 = wsel_st0;
|
|
assign byteen_st12 = byteen_st0;
|
|
assign writeword_st12 = writeword_st0;
|
|
assign tag_st12 = tag_st0;
|
|
|
|
assign incoming_fill_st1= 0;
|
|
assign core_req_hit_st1 = 1;
|
|
assign do_writeback_st1 = 0;
|
|
assign mshr_push_st1 = 0;
|
|
assign crsq_push_st1 = !mem_rw_st0;
|
|
assign dreq_push_st1 = 0;
|
|
end
|
|
|
|
VX_pipe_register #(
|
|
.DATAW (1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + `LINE_ADDR_WIDTH + `UP(`WORD_SELECT_WIDTH) + `WORD_WIDTH + `WORD_WIDTH + `TAG_SELECT_BITS + 1 + `BANK_LINE_WIDTH + 1 + WORD_SIZE + `REQS_BITS + `REQ_TAG_WIDTH),
|
|
.RESETW (1)
|
|
) pipe_reg2 (
|
|
.clk (clk),
|
|
.reset (reset),
|
|
.enable (!pipeline_stall),
|
|
.data_in ({valid_st1, mshr_push_st1, crsq_push_st1, dreq_push_st1, do_writeback_st1, incoming_fill_st1, core_req_hit_st1, is_mshr_st1, writeen_st1, force_miss_st1, is_fill_st1, addr_st1, wsel_st1, readword_st1, writeword_st1, readtag_st1, miss_st1, writedata_st1, mem_rw_st1, byteen_st1, req_tid_st1, tag_st1}),
|
|
.data_out ({valid_st2, mshr_push_st2, crsq_push_st2, dreq_push_st2, do_writeback_st2, incoming_fill_st2, core_req_hit_st2, is_mshr_st2, writeen_st2, force_miss_st2, is_fill_st2, addr_st2, wsel_st2, readword_st2, writeword_st2, readtag_st2, miss_st2, writedata_st2, mem_rw_st2, byteen_st2, req_tid_st2, tag_st2})
|
|
);
|
|
|
|
if (WRITE_THROUGH) begin
|
|
|
|
assign dirtyb_st2 = dirtyb_st1;
|
|
assign readdata_st2 = readdata_st1;
|
|
|
|
end else begin
|
|
|
|
VX_pipe_register #(
|
|
.DATAW (BANK_LINE_SIZE + `BANK_LINE_WIDTH),
|
|
.RESETW (0)
|
|
) pipe_reg2b (
|
|
.clk (clk),
|
|
.reset (reset),
|
|
.enable (!pipeline_stall),
|
|
.data_in ({dirtyb_st1, readdata_st1}),
|
|
.data_out ({dirtyb_st2, readdata_st2})
|
|
);
|
|
|
|
end
|
|
|
|
`ifdef DBG_CACHE_REQ_INFO
|
|
if (CORE_TAG_WIDTH != CORE_TAG_ID_BITS && CORE_TAG_ID_BITS != 0) begin
|
|
assign {debug_pc_st12, debug_wid_st12} = tag_st12[CORE_TAG_WIDTH-1:CORE_TAG_ID_BITS];
|
|
end else begin
|
|
assign {debug_pc_st12, debug_wid_st12} = 0;
|
|
end
|
|
`endif
|
|
`UNUSED_VAR (tag_st12)
|
|
|
|
VX_data_access #(
|
|
.BANK_ID (BANK_ID),
|
|
.CACHE_ID (CACHE_ID),
|
|
.CORE_TAG_ID_BITS(CORE_TAG_ID_BITS),
|
|
.CACHE_SIZE (CACHE_SIZE),
|
|
.BANK_LINE_SIZE (BANK_LINE_SIZE),
|
|
.NUM_BANKS (NUM_BANKS),
|
|
.DRAM_ENABLE (DRAM_ENABLE),
|
|
.WORD_SIZE (WORD_SIZE),
|
|
.WRITE_ENABLE (WRITE_ENABLE),
|
|
.WRITE_THROUGH (WRITE_THROUGH)
|
|
) data_access (
|
|
.clk (clk),
|
|
.reset (reset),
|
|
|
|
`ifdef DBG_CACHE_REQ_INFO
|
|
.rdebug_pc (debug_pc_st1),
|
|
.rdebug_wid (debug_wid_st1),
|
|
.wdebug_pc (debug_pc_st12),
|
|
.wdebug_wid (debug_wid_st12),
|
|
`endif
|
|
.stall (pipeline_stall),
|
|
|
|
// reading
|
|
.readen_in (~writeen_st1 && valid_st1),
|
|
.raddr_in (addr_st1),
|
|
.rwsel_in (wsel_st1),
|
|
.rbyteen_in (byteen_st1),
|
|
.readword_out (readword_st1),
|
|
.readdata_out (readdata_st1),
|
|
.dirtyb_out (dirtyb_st1),
|
|
|
|
// writing
|
|
.writeen_in (writeen_st12 && valid_st12),
|
|
.waddr_in (addr_st12),
|
|
.wfill_in (is_fill_st2),
|
|
.wwsel_in (wsel_st12),
|
|
.wbyteen_in (byteen_st12),
|
|
.writeword_in (writeword_st12),
|
|
.writedata_in (writedata_st2)
|
|
);
|
|
|
|
`ifdef DBG_CACHE_REQ_INFO
|
|
if (CORE_TAG_WIDTH != CORE_TAG_ID_BITS && CORE_TAG_ID_BITS != 0) begin
|
|
assign {debug_pc_st2, debug_wid_st2} = tag_st2[CORE_TAG_WIDTH-1:CORE_TAG_ID_BITS];
|
|
end else begin
|
|
assign {debug_pc_st2, debug_wid_st2} = 0;
|
|
end
|
|
`endif
|
|
|
|
wire mshr_push_unqual = valid_st2 && mshr_push_st2;
|
|
assign mshr_push_stall = 0;
|
|
|
|
wire mshr_push = mshr_push_unqual
|
|
&& !crsq_push_stall
|
|
&& !dreq_push_stall;
|
|
|
|
wire incoming_fill_qual_st2 = (!drsq_empty && (addr_st2 == drsq_addr_st0)) || incoming_fill_st2;
|
|
|
|
if (DRAM_ENABLE) begin
|
|
|
|
wire mshr_dequeue_st2 = valid_st2 && is_mshr_st2 && !mshr_push_unqual && !pipeline_stall;
|
|
|
|
// mark mshr entry that match DRAM fill as 'ready'
|
|
wire update_ready_st0 = drsq_pop;
|
|
|
|
// push missed requests as 'ready' if it was a forced miss but actually had a hit
|
|
// or the fill request is comming for this block
|
|
wire mshr_init_ready_state_st2 = valid_st2 && (!miss_st2 || incoming_fill_qual_st2);
|
|
|
|
VX_miss_resrv #(
|
|
.BANK_ID (BANK_ID),
|
|
.CACHE_ID (CACHE_ID),
|
|
.CORE_TAG_ID_BITS (CORE_TAG_ID_BITS),
|
|
.BANK_LINE_SIZE (BANK_LINE_SIZE),
|
|
.NUM_BANKS (NUM_BANKS),
|
|
.WORD_SIZE (WORD_SIZE),
|
|
.NUM_REQS (NUM_REQS),
|
|
.MSHR_SIZE (MSHR_SIZE),
|
|
.CORE_TAG_WIDTH (CORE_TAG_WIDTH)
|
|
) miss_resrv (
|
|
.clk (clk),
|
|
.reset (reset),
|
|
|
|
`ifdef DBG_CACHE_REQ_INFO
|
|
.deq_debug_pc (debug_pc_st0),
|
|
.deq_debug_wid (debug_wid_st0),
|
|
.enq_debug_pc (debug_pc_st2),
|
|
.enq_debug_wid (debug_wid_st2),
|
|
`endif
|
|
|
|
// enqueue
|
|
.enqueue (mshr_push),
|
|
.enqueue_addr (addr_st2),
|
|
.enqueue_data ({writeword_st2, req_tid_st2, tag_st2, mem_rw_st2, byteen_st2, wsel_st2}),
|
|
.enqueue_is_mshr (is_mshr_st2),
|
|
.enqueue_ready (mshr_init_ready_state_st2),
|
|
`UNUSED_PIN (enqueue_full),
|
|
|
|
// lookup
|
|
.lookup_ready (update_ready_st0),
|
|
.lookup_addr (addr_st0),
|
|
.lookup_match (mshr_pending_hazard_unqual_st0),
|
|
|
|
// schedule
|
|
.schedule (mshr_pop),
|
|
.schedule_valid (mshr_valid_st0),
|
|
.schedule_addr (mshr_addr_st0),
|
|
.schedule_data ({mshr_writeword_st0, mshr_tid_st0, mshr_tag_st0, mshr_rw_st0, mshr_byteen_st0, mshr_wsel_st0}),
|
|
|
|
// dequeue
|
|
.dequeue (mshr_dequeue_st2)
|
|
);
|
|
end else begin
|
|
`UNUSED_VAR (valid_st2)
|
|
`UNUSED_VAR (mshr_push)
|
|
`UNUSED_VAR (wsel_st2)
|
|
`UNUSED_VAR (writeword_st2)
|
|
`UNUSED_VAR (mem_rw_st2)
|
|
`UNUSED_VAR (byteen_st2)
|
|
`UNUSED_VAR (incoming_fill_st2)
|
|
assign mshr_pending_hazard_unqual_st0 = 0;
|
|
assign mshr_valid_st0 = 0;
|
|
assign mshr_addr_st0 = 0;
|
|
assign mshr_wsel_st0 = 0;
|
|
assign mshr_writeword_st0 = 0;
|
|
assign mshr_tid_st0 = 0;
|
|
assign mshr_tag_st0 = 0;
|
|
assign mshr_rw_st0 = 0;
|
|
assign mshr_byteen_st0 = 0;
|
|
end
|
|
|
|
// Enqueue core response
|
|
|
|
wire crsq_empty, crsq_full;
|
|
|
|
wire crsq_push_unqual = valid_st2 && crsq_push_st2;
|
|
assign crsq_push_stall = crsq_push_unqual && crsq_full;
|
|
|
|
wire crsq_push = crsq_push_unqual
|
|
&& !crsq_full
|
|
&& !mshr_push_stall
|
|
&& !dreq_push_stall;
|
|
|
|
wire crsq_pop = core_rsp_valid && core_rsp_ready;
|
|
|
|
wire [`REQS_BITS-1:0] crsq_tid_st2 = req_tid_st2;
|
|
wire [CORE_TAG_WIDTH-1:0] crsq_tag_st2 = CORE_TAG_WIDTH'(tag_st2);
|
|
wire [`WORD_WIDTH-1:0] crsq_data_st2 = readword_st2;
|
|
|
|
VX_fifo_queue #(
|
|
.DATAW (`REQS_BITS + CORE_TAG_WIDTH + `WORD_WIDTH),
|
|
.SIZE (CRSQ_SIZE),
|
|
.BUFFERED (1),
|
|
.FASTRAM (1)
|
|
) core_rsp_queue (
|
|
.clk (clk),
|
|
.reset (reset),
|
|
.push (crsq_push),
|
|
.pop (crsq_pop),
|
|
.data_in ({crsq_tid_st2, crsq_tag_st2, crsq_data_st2}),
|
|
.data_out({core_rsp_tid, core_rsp_tag, core_rsp_data}),
|
|
.empty (crsq_empty),
|
|
.full (crsq_full),
|
|
`UNUSED_PIN (size)
|
|
);
|
|
|
|
assign core_rsp_valid = !crsq_empty;
|
|
|
|
// Enqueue DRAM request
|
|
|
|
wire dreq_empty, dreq_full;
|
|
|
|
wire dreq_push_unqual = valid_st2 && dreq_push_st2;
|
|
assign dreq_push_stall = dreq_push_unqual && dreq_full;
|
|
|
|
wire dreq_push = dreq_push_unqual
|
|
&& (do_writeback_st2 || !incoming_fill_qual_st2)
|
|
&& !dreq_full
|
|
&& !mshr_push_stall
|
|
&& !crsq_push_stall;
|
|
|
|
wire dreq_pop = dram_req_valid && dram_req_ready;
|
|
|
|
wire writeback = WRITE_ENABLE && do_writeback_st2;
|
|
|
|
wire [`LINE_ADDR_WIDTH-1:0] dreq_addr = (WRITE_THROUGH || !writeback) ? addr_st2 :
|
|
{readtag_st2, addr_st2[`LINE_SELECT_BITS-1:0]};
|
|
|
|
wire [BANK_LINE_SIZE-1:0] dreq_byteen = writeback ? dirtyb_st2 : {BANK_LINE_SIZE{1'b1}};
|
|
|
|
if (DRAM_ENABLE) begin
|
|
VX_fifo_queue #(
|
|
.DATAW (1 + BANK_LINE_SIZE + `LINE_ADDR_WIDTH + `BANK_LINE_WIDTH),
|
|
.SIZE (DREQ_SIZE),
|
|
.BUFFERED (1),
|
|
.FASTRAM (1)
|
|
) dram_req_queue (
|
|
.clk (clk),
|
|
.reset (reset),
|
|
.push (dreq_push),
|
|
.pop (dreq_pop),
|
|
.data_in ({writeback, dreq_byteen, dreq_addr, readdata_st2}),
|
|
.data_out({dram_req_rw, dram_req_byteen, dram_req_addr, dram_req_data}),
|
|
.empty (dreq_empty),
|
|
.full (dreq_full),
|
|
`UNUSED_PIN (size)
|
|
);
|
|
end else begin
|
|
`UNUSED_VAR (dreq_push)
|
|
`UNUSED_VAR (dreq_pop)
|
|
`UNUSED_VAR (dreq_addr)
|
|
`UNUSED_VAR (dreq_byteen)
|
|
`UNUSED_VAR (readtag_st2)
|
|
`UNUSED_VAR (dirtyb_st2)
|
|
`UNUSED_VAR (readdata_st2)
|
|
`UNUSED_VAR (writeback)
|
|
`UNUSED_VAR (dram_req_ready)
|
|
assign dreq_empty = 1;
|
|
assign dreq_full = 0;
|
|
assign dram_req_rw = 0;
|
|
assign dram_req_byteen = 0;
|
|
assign dram_req_addr = 0;
|
|
assign dram_req_data = 0;
|
|
end
|
|
|
|
assign dram_req_valid = !dreq_empty;
|
|
|
|
// bank pipeline stall
|
|
assign pipeline_stall = mshr_push_stall
|
|
|| crsq_push_stall
|
|
|| dreq_push_stall;
|
|
|
|
`SCOPE_ASSIGN (valid_st0, valid_st0);
|
|
`SCOPE_ASSIGN (valid_st1, valid_st1);
|
|
`SCOPE_ASSIGN (valid_st2, valid_st2);
|
|
`SCOPE_ASSIGN (is_fill_st0, is_fill_st0);
|
|
`SCOPE_ASSIGN (is_mshr_st0, is_mshr_st0);
|
|
`SCOPE_ASSIGN (miss_st1, miss_st1);
|
|
`SCOPE_ASSIGN (dirty_st1, dirty_st1);
|
|
`SCOPE_ASSIGN (force_miss_st1, force_miss_st1);
|
|
`SCOPE_ASSIGN (mshr_push, mshr_push);
|
|
`SCOPE_ASSIGN (pipeline_stall, pipeline_stall);
|
|
`SCOPE_ASSIGN (addr_st0, `LINE_TO_BYTE_ADDR(addr_st0, BANK_ID));
|
|
`SCOPE_ASSIGN (addr_st1, `LINE_TO_BYTE_ADDR(addr_st1, BANK_ID));
|
|
`SCOPE_ASSIGN (addr_st2, `LINE_TO_BYTE_ADDR(addr_st2, BANK_ID));
|
|
|
|
`ifdef PERF_ENABLE
|
|
assign perf_read_misses = !pipeline_stall && miss_st2 && !is_mshr_st2 && !mem_rw_st2;
|
|
assign perf_write_misses = !pipeline_stall && miss_st2 && !is_mshr_st2 && mem_rw_st2;
|
|
assign perf_mshr_stalls = mshr_going_full;
|
|
assign perf_pipe_stalls = pipeline_stall || mshr_going_full;
|
|
`endif
|
|
|
|
`ifdef DBG_PRINT_CACHE_BANK
|
|
wire incoming_fill_dfp_st2 = drsq_push && (addr_st2 == dram_rsp_addr);
|
|
always @(posedge clk) begin
|
|
if (valid_st2 && miss_st2 && (incoming_fill_st2 || incoming_fill_dfp_st2)) begin
|
|
$display("%t: incoming fill - addr=%0h, st3=%b, dfp=%b", $time, `LINE_TO_BYTE_ADDR(addr_st2, BANK_ID), incoming_fill_st2, incoming_fill_dfp_st2);
|
|
assert(!is_mshr_st2);
|
|
end
|
|
if (pipeline_stall) begin
|
|
$display("%t: cache%0d:%0d pipeline-stall: mshr=%b, cwbq=%b, dwbq=%b", $time, CACHE_ID, BANK_ID, mshr_push_stall, crsq_push_stall, dreq_push_stall);
|
|
end
|
|
if (drsq_pop) begin
|
|
$display("%t: cache%0d:%0d fill-rsp: addr=%0h, data=%0h", $time, CACHE_ID, BANK_ID, `LINE_TO_BYTE_ADDR(addr_st0, BANK_ID), drsq_filldata_st0);
|
|
end
|
|
if (creq_pop) begin
|
|
if (creq_rw_st0)
|
|
$display("%t: cache%0d:%0d core-wr-req: addr=%0h, tag=%0h, tid=%0d, byteen=%b, data=%0h, wid=%0d, PC=%0h", $time, CACHE_ID, BANK_ID, `LINE_TO_BYTE_ADDR(addr_st0, BANK_ID), creq_tag_st0, creq_tid_st0, creq_byteen_st0, creq_writeword_st0, debug_wid_st0, debug_pc_st0);
|
|
else
|
|
$display("%t: cache%0d:%0d core-rd-req: addr=%0h, tag=%0h, tid=%0d, byteen=%b, wid=%0d, PC=%0h", $time, CACHE_ID, BANK_ID, `LINE_TO_BYTE_ADDR(addr_st0, BANK_ID), creq_tag_st0, creq_tid_st0, creq_byteen_st0, debug_wid_st0, debug_pc_st0);
|
|
end
|
|
if (crsq_push) begin
|
|
$display("%t: cache%0d:%0d core-rsp: addr=%0h, tag=%0h, tid=%0d, data=%0h, wid=%0d, PC=%0h", $time, CACHE_ID, BANK_ID, `LINE_TO_BYTE_ADDR(addr_st2, BANK_ID), crsq_tag_st2, crsq_tid_st2, crsq_data_st2, debug_wid_st2, debug_pc_st2);
|
|
end
|
|
if (dreq_push) begin
|
|
if (do_writeback_st2)
|
|
$display("%t: cache%0d:%0d writeback: addr=%0h, data=%0h, byteen=%b, wid=%0d, PC=%0h", $time, CACHE_ID, BANK_ID, `LINE_TO_BYTE_ADDR(dreq_addr, BANK_ID), readdata_st2, dreq_byteen, debug_wid_st2, debug_pc_st2);
|
|
else
|
|
$display("%t: cache%0d:%0d fill-req: addr=%0h, wid=%0d, PC=%0h", $time, CACHE_ID, BANK_ID, `LINE_TO_BYTE_ADDR(dreq_addr, BANK_ID), debug_wid_st2, debug_pc_st2);
|
|
end
|
|
end
|
|
`endif
|
|
|
|
endmodule |