diff --git a/lacpu/rtl/mycpu/exe_stage.v b/lacpu/rtl/mycpu/exe_stage.v index 29421c6..0c0dc82 100644 --- a/lacpu/rtl/mycpu/exe_stage.v +++ b/lacpu/rtl/mycpu/exe_stage.v @@ -16,11 +16,14 @@ module exe_stage //output stallreq_es_for_cache, input [DS_TO_ES_BUS_WD -1:0] ds_to_es_bus, - output [ES_TO_MS_BUS_WD -1:0] es_to_ms_bus, - input [MS_TO_ES_BUS_WD -1:0] ms_to_es_bus, + output [ES_TO_MS_BUS_WD -1:0] es_to_ms1_bus, + + input [MS_TO_ES_BUS_WD -1:0] ms1_to_es_bus, + input [MS_TO_ES_BUS_WD -1:0] ms_to_es_bus, input [WS_TO_ES_BUS_WD -1:0] ws_to_es_bus, output [BR_BUS_WD -1:0] br_bus, + input br_taken_buffer, output data_sram_en, output [ 3:0] data_sram_we, @@ -56,6 +59,9 @@ module exe_stage wire [31:0] es_pc; wire [31:0] inst; + wire ms1_reg_we; + wire [ 4:0] ms1_dest; + wire [31:0] ms1_result; wire ms_reg_we; wire [ 4:0] ms_dest; wire [31:0] ms_result; @@ -111,6 +117,11 @@ module exe_stage inst //31 :0 } = ds_to_es_bus_r; + assign {ms1_reg_we, + ms1_dest, + ms1_result + } = ms1_to_es_bus; + assign {ms_reg_we, ms_dest, ms_result @@ -121,19 +132,19 @@ module exe_stage ws_result } = ws_to_es_bus; - assign es_to_ms_bus = {csr_vec ,//270:207 - csr_bus ,//206:143 - load_op ,//142:137 - store_op ,//136:134 - reg_we ,//133:133 - dest ,//132:128 - es_result,//127:96 - src1 ,//95 :64 - es_pc ,//63 :32 - inst //31 :0 - }; + assign es_to_ms1_bus = {csr_vec ,//270:207 + csr_bus ,//206:143 + load_op ,//142:137 + store_op ,//136:134 + reg_we ,//133:133 + dest ,//132:128 + es_result,//127:96 + src1 ,//95 :64 + es_pc ,//63 :32 + inst //31 :0 + }; - assign br_flush = br_taken & ~(csr_cancel|csr_cancel_reg); + assign br_flush = (br_taken & ~(csr_cancel|csr_cancel_reg))/* | br_taken_buffer*/; // TODO! assign excp_adef = csr_vec[6]; @@ -158,12 +169,14 @@ module exe_stage end end - assign src1 = ms_reg_we & (ms_dest == rj ) & (rj != 1'b0) ? ms_result : - ws_reg_we & (ws_dest == rj ) & (rj != 1'b0) ? ws_result : - rj_value; - assign src2 = ms_reg_we & (ms_dest == rkd) & (rkd != 1'b0) ? ms_result : - ws_reg_we & (ws_dest == rkd) & (rkd != 1'b0) ? ws_result : - rkd_value; + assign src1 = ms1_reg_we & (ms1_dest == rj ) & (rj != 1'b0) ? ms1_result : // TODO! + ms_reg_we & (ms_dest == rj ) & (rj != 1'b0) ? ms_result : + ws_reg_we & (ws_dest == rj ) & (rj != 1'b0) ? ws_result : + rj_value; + assign src2 = ms1_reg_we & (ms1_dest == rkd) & (rkd != 1'b0) ? ms1_result : // TODO! + ms_reg_we & (ms_dest == rkd) & (rkd != 1'b0) ? ms_result : + ws_reg_we & (ws_dest == rkd) & (rkd != 1'b0) ? ws_result : + rkd_value; assign alu_src1 = src1_is_pc ? es_pc : src1; @@ -191,7 +204,7 @@ module exe_stage wire csr_cancel; reg csr_cancel_reg; - assign csr_cancel = /*flush ? 1'b0 :*/ |csr_vec[31:0] | excp_adef;// TODO? + assign csr_cancel = |csr_vec[31:0] | excp_adef; always @ (posedge clk) begin if (reset) begin @@ -254,31 +267,5 @@ module exe_stage assign csr_vec = {csr_vec_temp[63:8], excp_ale, csr_vec_temp[6:0]}; assign stallreq_es = stallreq_for_mul_div; - - // always @(posedge clk) begin - // if (reset) begin - // stallreq_es_for_cache_r <= 1'b0; - // end - // else if (flush) begin - // stallreq_es_for_cache_r <= 1'b0; - // end - // //nop, id stall and ex not stall - // else if (stall[2] & (!stall[3])) begin - // stallreq_es_for_cache_r <= 1'b0; - // end - // //nop, id not stall and br_bus[32] - // else if (!stall[2] & br_flush) begin - // stallreq_es_for_cache_r <= 1'b0; - // end - // // id not stall so can go on - // else if (!stall[2] & (|load_op | |store_op)) begin - // stallreq_es_for_cache_r <= 1'b1; - // end - // else begin - // stallreq_es_for_cache_r <= 1'b0; - // end - // end - - // assign stallreq_es_for_cache = stallreq_es_for_cache_r; endmodule \ No newline at end of file diff --git a/lacpu/rtl/mycpu/id_stage.v b/lacpu/rtl/mycpu/id_stage.v index 59f1f30..587c054 100644 --- a/lacpu/rtl/mycpu/id_stage.v +++ b/lacpu/rtl/mycpu/id_stage.v @@ -1,6 +1,6 @@ module id_stage #( - parameter FS_TO_DS_BUS_WD = 65, + parameter FS_TO_DS_BUS_WD = 34, parameter DS_TO_ES_BUS_WD = 301, parameter WS_TO_RF_BUS_WD = 38 ) @@ -14,19 +14,20 @@ module id_stage output stallreq_ds, - input pc_valid, + //input pc_valid, input [31:0] inst_sram_rdata, input [ 1:0] csr_plv, input csr_has_int, - input [FS_TO_DS_BUS_WD -1:0] fs_to_ds_bus, + input [FS_TO_DS_BUS_WD -1:0] fs2_to_ds_bus, input [WS_TO_RF_BUS_WD -1:0] ws_to_rf_bus, output [DS_TO_ES_BUS_WD -1:0] ds_to_es_bus ); - reg [FS_TO_DS_BUS_WD -1:0] fs_to_ds_bus_r; - reg pc_valid_r; + reg [FS_TO_DS_BUS_WD -1:0] fs2_to_ds_bus_r; + //reg pc_valid_r; - reg [31:0] inst_r; + reg [31:0] inst_sram_rdata_buffer; + reg [31:0] inst_sram_rdata_r; reg stall_flag; reg [ 6:0] es_load_buffer; @@ -35,6 +36,8 @@ module id_stage wire br_flush; wire [31:0] ds_pc; + wire pc_valid; + wire src1_is_pc; wire src2_is_imm; wire src2_is_4; @@ -80,16 +83,15 @@ module id_stage wire stallreq_csr; wire excp_adef; - wire [31:0] csr_vec_h; wire [31:0] csr_vec_l; wire [63:0] csr_vec; - assign {csr_vec_h, + assign {pc_valid, excp_adef, ds_pc - } = fs_to_ds_bus_r; + } = fs2_to_ds_bus_r; - assign csr_vec = {csr_vec_h, csr_vec_l}; + assign csr_vec = {32'b0, csr_vec_l}; assign br_flush = br_taken; @@ -100,83 +102,75 @@ module id_stage - assign ds_to_es_bus = {csr_vec & {64{pc_valid_r}} ,//300:237 - csr_op ,//236:230 - csr_wdata_sel ,//229:229 - csr_addr ,//228:215 - csr_we ,//214:214 - alu_op ,//213:202 - mul_div_op & { 4{pc_valid_r}} ,//198:189 - mul_div_sign & pc_valid_r ,//197:197 - branch_op & { 9{pc_valid_r}} ,//196:188 - store_op & { 3{pc_valid_r}} ,//187:185 - load_op & { 6{pc_valid_r}} ,//184:179 - reg_we & pc_valid_r ,//178:178 - src1_is_pc ,//177:177 - src2_is_imm ,//176:176 - src2_is_4 ,//175:175 - rj ,//174:170 - rkd ,//169:165 - rj_value ,//164:133 - rkd_value ,//132:101 - dest ,//100:96 - imm ,//95 :64 - ds_pc ,//63 :32 - inst & {32{pc_valid_r}} //31 :0 + assign ds_to_es_bus = {csr_vec & {64{pc_valid}} ,//300:237 + csr_op ,//236:230 + csr_wdata_sel ,//229:229 + csr_addr ,//228:215 + csr_we ,//214:214 + alu_op ,//213:202 + mul_div_op & { 4{pc_valid}} ,//198:189 + mul_div_sign & pc_valid ,//197:197 + branch_op & { 9{pc_valid}} ,//196:188 + store_op & { 3{pc_valid}} ,//187:185 + load_op & { 6{pc_valid}} ,//184:179 + reg_we & pc_valid ,//178:178 + src1_is_pc ,//177:177 + src2_is_imm ,//176:176 + src2_is_4 ,//175:175 + rj ,//174:170 + rkd ,//169:165 + rj_value ,//164:133 + rkd_value ,//132:101 + dest ,//100:96 + imm ,//95 :64 + ds_pc ,//63 :32 + inst & {32{pc_valid}} //31 :0 }; - always @ (posedge clk)begin + + always @(posedge clk) begin if (reset) begin - pc_valid_r <= 1'b0; - fs_to_ds_bus_r <= 0; + fs2_to_ds_bus_r <= 0; + inst_sram_rdata_r <= 0; + stall_flag <= 0; end else if (flush) begin - pc_valid_r <= 1'b0; - fs_to_ds_bus_r <= 0; + fs2_to_ds_bus_r <= 0; + inst_sram_rdata_r <= 0; + stall_flag <= 0; end - //nop, ID stall and EX not stall - else if (stall[1] & (!stall[2]))begin - pc_valid_r <= 1'b0; - fs_to_ds_bus_r <= 0; + else if ((!stall[1]) & (!stall[2]) & br_flush) begin + fs2_to_ds_bus_r <= 0; + inst_sram_rdata_r <= 0; + stall_flag <= 0; end - //nop, ID not stall but branch - else if (!stall[1] & br_flush) begin - pc_valid_r <= 1'b0; - fs_to_ds_bus_r <= 0; + else if (stall[1] & (!stall[2])) begin + fs2_to_ds_bus_r <= 0; + inst_sram_rdata_r <= 0; + stall_flag <= 0; end - // ID not stall so go on - else if (!stall[1]) begin - pc_valid_r <= pc_valid; - fs_to_ds_bus_r <= fs_to_ds_bus; + else if ((!stall[1]) & stall_flag) begin + fs2_to_ds_bus_r <= fs2_to_ds_bus; + inst_sram_rdata_r <= inst_sram_rdata_buffer; + stall_flag <= 0; + end + else if ((!stall[1]) & (!stall_flag)) begin + fs2_to_ds_bus_r <= fs2_to_ds_bus; + inst_sram_rdata_r <= inst_sram_rdata; + stall_flag <= 0; + end + else if ((!stall_flag) & br_flush) begin + inst_sram_rdata_buffer <= 0; + stall_flag <= 1'b1; + end + else if (!stall_flag) begin + inst_sram_rdata_buffer <= inst_sram_rdata; + stall_flag <= 1'b1; end end - always @ (posedge clk) begin - if (reset) begin - inst_r <= 64'b0; - stall_flag <= 1'b0; - end - else if (flush) begin - inst_r <= 64'b0; - stall_flag <= 1'b0; - end - //if not stall, get inst from inst_sram - else if (!stall[1]) begin - inst_r <= inst_sram_rdata; - stall_flag <= 1'b0; - end - else if (stall_flag) begin - - end - //if stall and id stall, get inst from inst_ram ? - else if (stall[1]&stall[2]) begin - inst_r <= inst_sram_rdata; - stall_flag <= 1'b1; - end - end - - assign next_inst = stall_flag ? inst_r : inst_sram_rdata; - assign inst = ~pc_valid_r ? 32'b0 : next_inst; + assign next_inst = inst_sram_rdata_r; + assign inst = !pc_valid ? 32'b0 : next_inst; inst_decoder u_inst_decoder( .inst (inst ), @@ -250,8 +244,12 @@ module id_stage } = es_load_buffer; assign es_is_csr = es_csr_buffer; //ex段为load指令，且发生数据相关时，id段需要被暂停 - assign stallreq_load = es_is_load & es_reg_we & ((es_dest==rj & rj!=0)|(es_dest==rkd & rkd!=0)); - assign stallreq_csr = es_is_csr & es_reg_we & ((es_dest==rj & rj!=0)|(es_dest==rkd & rkd!=0)); - assign stallreq_ds = stallreq_load | stallreq_csr; + assign stallreq_load = es_is_load & es_reg_we & ((es_dest==rj & rj!=0)|(es_dest==rkd & rkd!=0)); //TODO? + assign stallreq_csr = es_is_csr & es_reg_we & ((es_dest==rj & rj!=0)|(es_dest==rkd & rkd!=0)); + + wire stallreq_forward; + assign stallreq_forward = es_reg_we & ((es_dest==rj & rj!=0)|(es_dest==rkd & rkd!=0)); // TODO! + + assign stallreq_ds = stallreq_load | stallreq_csr/* | stallreq_forward*/; endmodule \ No newline at end of file diff --git a/lacpu/rtl/mycpu/if_stage.v b/lacpu/rtl/mycpu/if_stage.v index fb73b4e..39c604b 100644 --- a/lacpu/rtl/mycpu/if_stage.v +++ b/lacpu/rtl/mycpu/if_stage.v @@ -1,7 +1,7 @@ -module if_stage +module if1_stage #( parameter BR_BUS_WD = 33, - parameter FS_TO_DS_BUS_WD = 65 + parameter FS_TO_DS_BUS_WD = 34 ) ( input clk , @@ -12,23 +12,18 @@ module if_stage input [31:0] new_pc, - //output stallreq_fs_for_cache, - output inst_sram_en , output [ 3:0] inst_sram_we , output [31:0] inst_sram_addr , output [31:0] inst_sram_wdata, input [BR_BUS_WD -1:0] br_bus, - output [FS_TO_DS_BUS_WD -1:0] fs_to_ds_bus + output [FS_TO_DS_BUS_WD -1:0] fs1_to_fs2_bus ); reg pc_valid; reg [31:0] fs_pc; reg excp_adef; - reg [31:0] csr_vec_h; - - reg stallreq_fs_for_cache_r; wire [31:0] seq_pc; wire [31:0] next_pc; @@ -37,10 +32,10 @@ module if_stage wire [31:0] br_target; - assign fs_to_ds_bus = {csr_vec_h, //64:33 - excp_adef, //32:32 - fs_pc //31:0 - }; + assign fs1_to_fs2_bus = {inst_sram_en, //33:33 + excp_adef, //32:32 + fs_pc //31:0 + }; assign {br_taken, br_target @@ -51,44 +46,65 @@ module if_stage pc_valid <= 1'b0; fs_pc <= 32'h1bff_fffc; excp_adef <= 1'b0; - csr_vec_h <= 32'b0; end else if (flush) begin pc_valid <= 1'b1; fs_pc <= new_pc; excp_adef <= |new_pc[1:0]; - csr_vec_h <= 32'b0; end else if (!stall[0]) begin pc_valid <= 1'b1; fs_pc <= next_pc; excp_adef <= |next_pc[1:0]; - csr_vec_h <= 0; // TODO! end end assign seq_pc = fs_pc + 3'h4; assign next_pc = br_taken ? br_target : seq_pc; - // always @ (posedge clk) begin - // if (reset) begin - // stallreq_fs_for_cache_r <= 1'b0; - // end - // else if (flush) begin - // stallreq_fs_for_cache_r <= 1'b0; - // end - // else if (!stall[0]) begin - // stallreq_fs_for_cache_r <= 1'b1; - // end - // else begin - // stallreq_fs_for_cache_r <= 1'b0; - // end - // end - - // assign stallreq_fs_for_cache = stallreq_fs_for_cache_r & (!br_taken); - - assign inst_sram_en = (/*flush |*/ br_taken) ? 1'b0 : pc_valid; + assign inst_sram_en = br_taken ? 1'b0 : pc_valid; assign inst_sram_we = 4'h0; assign inst_sram_addr = fs_pc; assign inst_sram_wdata = 32'b0; +endmodule + +module if2_stage +#( + parameter FS_TO_DS_BUS_WD = 34 +) +( + input clk , + input reset, + + input flush, + input [ 5:0] stall, + + input br_taken, + input [FS_TO_DS_BUS_WD -1:0] fs1_to_fs2_bus, + + output [FS_TO_DS_BUS_WD -1:0] fs2_to_ds_bus +); + reg [FS_TO_DS_BUS_WD -1:0] fs1_to_fs2_bus_r; + + wire br_flush; + + assign br_flush = br_taken; + + assign fs2_to_ds_bus = fs1_to_fs2_bus_r; + + always @ (posedge clk) begin + if (reset) begin + fs1_to_fs2_bus_r <= 0; + end + else if (flush | br_flush) begin + fs1_to_fs2_bus_r <= 0; + end + else if (stall[0] & !stall[1]) begin + fs1_to_fs2_bus_r <= 0; + end + else if (!stall[0]) begin + fs1_to_fs2_bus_r <= fs1_to_fs2_bus; + end + end + endmodule \ No newline at end of file diff --git a/lacpu/rtl/mycpu/mem_stage.v b/lacpu/rtl/mycpu/mem_stage.v index 2742ee6..2b181fe 100644 --- a/lacpu/rtl/mycpu/mem_stage.v +++ b/lacpu/rtl/mycpu/mem_stage.v @@ -1,4 +1,56 @@ -module mem_stage +module mem1_stage +#( + parameter ES_TO_MS_BUS_WD = 271, + parameter MS_TO_ES_BUS_WD = 38 +) +( + input clk, + input reset, + input flush, + input [ 5:0] stall, + + input [ES_TO_MS_BUS_WD -1:0] es_to_ms1_bus, + output [ES_TO_MS_BUS_WD -1:0] ms1_to_ms2_bus, + output [MS_TO_ES_BUS_WD -1:0] ms1_to_es_bus +); + +reg [ES_TO_MS_BUS_WD -1:0] es_to_ms1_bus_r; + +wire reg_we; +wire [ 4:0] dest; +wire [31:0] es_result; + +assign ms1_to_ms2_bus = es_to_ms1_bus_r; + +assign reg_we = es_to_ms1_bus_r[133:133]; +assign dest = es_to_ms1_bus_r[132:128]; +assign es_result = es_to_ms1_bus_r[127:96]; + +assign ms1_to_es_bus = {reg_we, + dest, + es_result + }; + +always @(posedge clk) begin + if (reset) begin + es_to_ms1_bus_r <= 0; + end + else if (flush) begin + es_to_ms1_bus_r <= 0; + end + else if(stall[3] & (!stall[4])) begin + es_to_ms1_bus_r <= 0; + end + else if(!stall[3]) begin + es_to_ms1_bus_r <= es_to_ms1_bus; + end +end + +endmodule + + + +module mem2_stage #( parameter ES_TO_MS_BUS_WD = 271, parameter MS_TO_ES_BUS_WD = 38, @@ -20,16 +72,17 @@ module mem_stage input [ 7:0] ext_int, - input [ES_TO_MS_BUS_WD -1:0] es_to_ms_bus, + input [ES_TO_MS_BUS_WD -1:0] ms1_to_ms2_bus, output [MS_TO_ES_BUS_WD -1:0] ms_to_es_bus, - output [MS_TO_WS_BUS_WD -1:0] ms_to_ws_bus, + output [MS_TO_WS_BUS_WD -1:0] ms2_to_ws_bus, input [31:0] data_sram_rdata ); - reg [ES_TO_MS_BUS_WD -1:0] es_to_ms_bus_r; + reg [ES_TO_MS_BUS_WD -1:0] ms1_to_ms2_bus_r; reg [31:0] data_sram_rdata_r; - reg [31:0] csr_rdata_r; + reg [31:0] data_sram_rdata_buffer; + reg [31:0] csr_rdata_buffer; reg stall_flag; wire [63:0] csr_vec; @@ -77,63 +130,61 @@ module mem_stage src1 ,//95 :64 ms_pc ,//63 :32 inst //31 :0 - } = es_to_ms_bus_r; + } = ms1_to_ms2_bus_r; assign ms_to_es_bus = {reg_we, dest, - es_result + ms_final_result//es_result }; - assign ms_to_ws_bus = {reg_we ,//101:101 - dest ,//100:96 - ms_final_result ,//95 :64 - ms_pc ,//63 :32 - inst //31 :0 - }; + assign ms2_to_ws_bus = {reg_we ,//101:101 + dest ,//100:96 + ms_final_result ,//95 :64 + ms_pc ,//63 :32 + inst //31 :0 + }; - always @ (posedge clk) begin + always @(posedge clk) begin if (reset) begin - es_to_ms_bus_r <= 0; + ms1_to_ms2_bus_r <= 0; + data_sram_rdata_r <= 0; + csr_rdata_buffer <= 0; + stall_flag <= 0; end else if (flush) begin - es_to_ms_bus_r <= 0; - end - else if (stall[3]&(!stall[4])) begin - es_to_ms_bus_r <= 0; - end - else if (!stall[3]) begin - es_to_ms_bus_r <= es_to_ms_bus; - end - end - - always @ (posedge clk) begin - if (reset) begin + ms1_to_ms2_bus_r <= 0; data_sram_rdata_r <= 0; - csr_rdata_r <= 0; - stall_flag <= 1'b0; + csr_rdata_buffer <= 0; + stall_flag <= 0; end - else if (flush) begin + else if (stall[3] & (!stall[4])) begin + ms1_to_ms2_bus_r <= 0; data_sram_rdata_r <= 0; - csr_rdata_r <= 0; - stall_flag <= 1'b0; + csr_rdata_buffer <= 0; + stall_flag <= 0; end - else if (!stall[3]) begin + else if ((!stall[3]) & stall_flag) begin + ms1_to_ms2_bus_r <= ms1_to_ms2_bus; + data_sram_rdata_r <= data_sram_rdata_buffer; + csr_rdata_buffer <= 0; + stall_flag <= 0; + end + else if ((!stall[3]) & (!stall_flag)) begin + ms1_to_ms2_bus_r <= ms1_to_ms2_bus; data_sram_rdata_r <= data_sram_rdata; - csr_rdata_r <= csr_rdata; - stall_flag <= 1'b0; + csr_rdata_buffer <= 0; + stall_flag <= 0; end - else if (stall_flag) begin - - end - else if (stall[3]&stall[4])begin - data_sram_rdata_r <= data_sram_rdata; - csr_rdata_r <= csr_rdata; - stall_flag <= 1'b1; + else if(!stall_flag) begin + data_sram_rdata_buffer <= data_sram_rdata; + csr_rdata_buffer <= csr_rdata; + stall_flag <= 1'b1; end + end - assign data_temp = stall_flag ? data_sram_rdata_r : data_sram_rdata; - assign csr_result = stall_flag ? csr_rdata_r : csr_rdata; + assign data_temp = data_sram_rdata_r; + assign csr_result = stall_flag ? csr_rdata_buffer : csr_rdata; assign {inst_ld_b, inst_ld_h, diff --git a/lacpu/rtl/mycpu/mul_div_lock.v b/lacpu/rtl/mycpu/mul_div_lock.v index 6c392a0..7c8628b 100644 --- a/lacpu/rtl/mycpu/mul_div_lock.v +++ b/lacpu/rtl/mycpu/mul_div_lock.v @@ -8,58 +8,74 @@ module mul_div_lock ( input div_en, input stallreq_for_mul, input stallreq_for_div, + input sign_flag, + input rem_flag, output [31:0] a_locked, output [31:0] b_locked, output mul_en_locked, - output div_en_locked + output div_en_locked, + output sign_flag_locked, + output rem_flag_locked ); reg first_enable; reg mul_en_musk; reg div_en_musk; reg [31:0] a_buffer; reg [31:0] b_buffer; + reg sign_flag_buffer; + reg rem_flag_buffer; wire stallreq = stallreq_for_mul | stallreq_for_div; assign mul_en_locked = mul_en & mul_en_musk; assign div_en_locked = div_en & div_en_musk; - assign a_locked = first_enable ? a : a_buffer; - assign b_locked = first_enable ? b : b_buffer; + assign a_locked = first_enable ? a : a_buffer; + assign b_locked = first_enable ? b : b_buffer; + assign sign_flag_locked = first_enable ? sign_flag : sign_flag_buffer; + assign rem_flag_locked = first_enable ? rem_flag : rem_flag_buffer; always @ (posedge clk) begin if (reset) begin - a_buffer <= 0; - b_buffer <= 0; - mul_en_musk <= 1; - div_en_musk <= 1; + a_buffer <= 0; + b_buffer <= 0; + sign_flag_buffer <= 0; + rem_flag_buffer <= 0; + mul_en_musk <= 1; + div_en_musk <= 1; first_enable <= 1; end else if (mul_en & first_enable) begin - a_buffer <= a; - b_buffer <= b; - mul_en_musk <= 0; - div_en_musk <= 1; + a_buffer <= a; + b_buffer <= b; + sign_flag_buffer <= sign_flag; + rem_flag_buffer <= rem_flag; + mul_en_musk <= 0; + div_en_musk <= 1; - first_enable <= 0; + first_enable <= 0; end else if (div_en & first_enable) begin - a_buffer <= a; - b_buffer <= b; - mul_en_musk <= 1; - div_en_musk <= 0; + a_buffer <= a; + b_buffer <= b; + sign_flag_buffer <= sign_flag; + rem_flag_buffer <= rem_flag; + mul_en_musk <= 1; + div_en_musk <= 0; - first_enable <= 0; + first_enable <= 0; end else if (!stallreq & (mul_en|div_en) & !first_enable & !stall[2]) begin - a_buffer <= 0; - b_buffer <= 0; - mul_en_musk <= 1; - div_en_musk <= 1; + a_buffer <= 0; + b_buffer <= 0; + sign_flag_buffer <= 0; + rem_flag_buffer <= 0; + mul_en_musk <= 1; + div_en_musk <= 1; - first_enable <= 1; + first_enable <= 1; end end diff --git a/lacpu/rtl/mycpu/mul_div_top.v b/lacpu/rtl/mycpu/mul_div_top.v index f5a7985..58b8834 100644 --- a/lacpu/rtl/mycpu/mul_div_top.v +++ b/lacpu/rtl/mycpu/mul_div_top.v @@ -29,6 +29,8 @@ module mul_div_top( wire [31:0] b_locked; wire mul_en_locked; wire div_en_locked; + wire sign_flag_locked; + wire rem_flag_locked; assign mul_en = mul_div_op[0] | mul_div_op[1]; assign div_en = mul_div_op[2] | mul_div_op[3]; @@ -43,12 +45,16 @@ module mul_div_top( .stall (stall ), .a (src_a ), .b (src_b ), + .sign_flag (sign_flag ), + .rem_flag (a[31] ), .mul_en (mul_en ), .div_en (div_en ), .stallreq_for_mul (stallreq_for_mul ), .stallreq_for_div (stallreq_for_div ), .a_locked (a_locked ), .b_locked (b_locked ), + .sign_flag_locked (sign_flag_locked ), + .rem_flag_locked (rem_flag_locked ), .mul_en_locked (mul_en_locked ), .div_en_locked (div_en_locked ) ); @@ -78,10 +84,10 @@ module mul_div_top( ); assign stallreq = stallreq_for_mul | stallreq_for_div; - assign mul_div_result = mul_div_op[0] ? (mul_div_sign & (a[31] ^ b[31]) & |result_l ) ? { ~result_l[31:0] + 1'b1} : result_l : - mul_div_op[1] ? (mul_div_sign & (a[31] ^ b[31]) & |result_h ) ? {a[31] ^ b[31], ~result_h[30:0] } : result_h : - mul_div_op[2] ? (mul_div_sign & (a[31] ^ b[31]) & |quotient ) ? {a[31] ^ b[31], ~quotient[30:0] + 1'b1} : quotient : - mul_div_op[3] ? (mul_div_sign & a[31] & |remainder) ? {a[31] , ~remainder[30:0] + 1'b1} : remainder : + assign mul_div_result = mul_div_op[0] ? (mul_div_sign & sign_flag_locked & |result_l ) ? { ~result_l[31:0] + 1'b1} : result_l : + mul_div_op[1] ? (mul_div_sign & sign_flag_locked & |result_h ) ? {sign_flag_locked, ~result_h[30:0] } : result_h : + mul_div_op[2] ? (mul_div_sign & sign_flag_locked & |quotient ) ? {sign_flag_locked, ~quotient[30:0] + 1'b1} : quotient : + mul_div_op[3] ? (mul_div_sign & rem_flag_locked & |remainder) ? {rem_flag_locked , ~remainder[30:0] + 1'b1} : remainder : 32'b0; endmodule \ No newline at end of file diff --git a/lacpu/rtl/mycpu/mycpu_core.v b/lacpu/rtl/mycpu/mycpu_core.v index 6b8ebc0..98ced1c 100644 --- a/lacpu/rtl/mycpu/mycpu_core.v +++ b/lacpu/rtl/mycpu/mycpu_core.v @@ -2,7 +2,7 @@ module mycpu_core #( - parameter FS_TO_DS_BUS_WD = 65, + parameter FS_TO_DS_BUS_WD = 34, parameter DS_TO_ES_BUS_WD = 301, parameter ES_TO_MS_BUS_WD = 271, parameter MS_TO_WS_BUS_WD = 102, @@ -42,22 +42,27 @@ module mycpu_core ); reg reset; + reg br_taken_buffer; + reg [31:0] br_target_buffer; + always @(posedge clk) reset <= ~resetn; - wire [FS_TO_DS_BUS_WD -1:0] fs_to_ds_bus; + wire [FS_TO_DS_BUS_WD -1:0] fs1_to_fs2_bus; + wire [FS_TO_DS_BUS_WD -1:0] fs2_to_ds_bus; wire [DS_TO_ES_BUS_WD -1:0] ds_to_es_bus; - wire [ES_TO_MS_BUS_WD -1:0] es_to_ms_bus; - wire [MS_TO_WS_BUS_WD -1:0] ms_to_ws_bus; + wire [ES_TO_MS_BUS_WD -1:0] es_to_ms1_bus; + wire [ES_TO_MS_BUS_WD -1:0] ms1_to_ms2_bus; + wire [MS_TO_WS_BUS_WD -1:0] ms2_to_ws_bus; wire [WS_TO_RF_BUS_WD -1:0] ws_to_rf_bus; + wire [MS_TO_ES_BUS_WD -1:0] ms1_to_es_bus; wire [MS_TO_ES_BUS_WD -1:0] ms_to_es_bus; wire [WS_TO_ES_BUS_WD -1:0] ws_to_es_bus; wire [BR_BUS_WD -1:0] br_bus; + wire [BR_BUS_WD -1:0] br_bus_real; wire flush; - //wire stallreq_fs_for_cache; - //wire stallreq_es_for_cache; wire stallreq_es; wire stallreq_ds; wire [ 5:0] stall; @@ -66,35 +71,68 @@ module mycpu_core wire [ 1:0] csr_plv; wire csr_has_int; - wire stallreq_cache; + wire br_taken; + wire [31:0] br_target; + assign stallreq_cache = stallreq_dcache | stallreq_icache | stallreq_uncache; - if_stage if_stage( + always @ (posedge clk) begin + if (reset) begin + br_taken_buffer <= 1'b0; + br_target_buffer <= 32'b0; + end + else if (!stall[0]) begin + br_taken_buffer <= 1'b0; + br_target_buffer <= 32'b0; + end + else if (!br_taken_buffer) begin + br_taken_buffer <= br_bus[32]; + br_target_buffer <= br_bus[31:0]; + end + end + + assign br_taken = br_bus[32] | br_taken_buffer; + assign br_target = br_bus[32] ? br_bus[31:0] : + br_taken_buffer ? br_target_buffer : + 32'b0; + assign br_bus_real = {br_taken, br_target}; + + + if1_stage if1_stage( .clk (clk ), .reset (reset ), .flush (flush ), .stall (stall ), .new_pc (new_pc ), - //.stallreq_fs_for_cache (stallreq_fs_for_cache ), - .fs_to_ds_bus (fs_to_ds_bus ), - .br_bus (br_bus ), + .fs1_to_fs2_bus (fs1_to_fs2_bus ), + .br_bus (br_bus_real ), .inst_sram_en (inst_sram_en ), .inst_sram_we (inst_sram_we ), .inst_sram_addr (inst_sram_addr ), .inst_sram_wdata (inst_sram_wdata ) ); + if2_stage if2_stage( + .clk (clk ), + .reset (reset ), + .flush (flush ), + .stall (stall ), + + .br_taken (br_taken ), + .fs1_to_fs2_bus (fs1_to_fs2_bus ), + .fs2_to_ds_bus (fs2_to_ds_bus ) + ); + id_stage id_stage( .clk (clk ), .reset (reset ), .flush (flush ), .stall (stall ), - .br_taken (br_bus[32] ), + .br_taken (br_taken ), .stallreq_ds (stallreq_ds ), - .fs_to_ds_bus (fs_to_ds_bus ), - .pc_valid (inst_sram_en ), + .fs2_to_ds_bus (fs2_to_ds_bus ), .inst_sram_rdata (inst_sram_rdata ), .csr_plv (csr_plv ), .csr_has_int (csr_has_int ), @@ -110,13 +148,14 @@ module mycpu_core .stallreq_es (stallreq_es ), .ds_to_es_bus (ds_to_es_bus ), - .es_to_ms_bus (es_to_ms_bus ), + .es_to_ms1_bus (es_to_ms1_bus ), + + .ms1_to_es_bus (ms1_to_es_bus ), .ms_to_es_bus (ms_to_es_bus ), .ws_to_es_bus (ws_to_es_bus ), - //.stallreq_es_for_cache (stallreq_es_for_cache), - .br_bus (br_bus ), + .br_taken_buffer (br_taken_buffer ), .data_sram_en (data_sram_en ), .data_sram_we (data_sram_we ), @@ -124,7 +163,20 @@ module mycpu_core .data_sram_wdata (data_sram_wdata ) ); - mem_stage mem_stage( + mem1_stage mem1_stage( + .clk (clk ), + .reset (reset ), + .flush (flush ), + .stall (stall ), + + .es_to_ms1_bus (es_to_ms1_bus ), + .ms1_to_ms2_bus (ms1_to_ms2_bus ), + + .ms1_to_es_bus (ms1_to_es_bus ) + ); + + + mem2_stage mem2_stage( .clk (clk ), .reset (reset ), .flush (flush ), @@ -136,9 +188,9 @@ module mycpu_core .stallreq_axi (stallreq_cache ), .ext_int (ext_int ), - .es_to_ms_bus (es_to_ms_bus ), + .ms1_to_ms2_bus (ms1_to_ms2_bus ), .ms_to_es_bus (ms_to_es_bus ), - .ms_to_ws_bus (ms_to_ws_bus ), + .ms2_to_ws_bus (ms2_to_ws_bus ), .data_sram_rdata (data_sram_rdata ) ); @@ -149,7 +201,7 @@ module mycpu_core .flush (flush ), .stall (stall ), - .ms_to_ws_bus (ms_to_ws_bus ), + .ms2_to_ws_bus (ms2_to_ws_bus ), .ws_to_rf_bus (ws_to_rf_bus ), .ws_to_es_bus (ws_to_es_bus ), @@ -162,11 +214,9 @@ module mycpu_core pip_ctrl pip_ctrl( .reset (reset ), .except_en (except_en ), - //.stallreq_fs_for_cache (stallreq_fs_for_cache ), - //.stallreq_es_for_cache (stallreq_es_for_cache ), .stallreq_ds (stallreq_ds ), .stallreq_es (stallreq_es ), - .stallreq_axi (stallreq_cache ), // TODO! + .stallreq_axi (stallreq_cache ), .stallreq_cache (stallreq_cache ), .flush (flush ), .stall (stall ) diff --git a/lacpu/rtl/mycpu/mycpu_top.v b/lacpu/rtl/mycpu/mycpu_top.v index 4b78c58..f83ad05 100644 --- a/lacpu/rtl/mycpu/mycpu_top.v +++ b/lacpu/rtl/mycpu/mycpu_top.v @@ -90,8 +90,8 @@ module mycpu_top assign resetn = aresetn; // icache tag - wire icache_cached; - wire icache_uncached; + //wire icache_cached; + //wire icache_uncached; wire icache_refresh; wire icache_miss; wire [31:0] icache_raddr; @@ -204,7 +204,7 @@ module mycpu_top .stallreq (stallreq_uncache ), .conf_en (data_sram_en & ~dcache_cached ), .conf_we (data_sram_we ), - .conf_addr (data_sram_addr_mmu ), // _mmu ? + .conf_addr (data_sram_addr_mmu ), .conf_wdata (data_sram_wdata ), .conf_rdata (uncache_temp_rdata ), .axi_en (uncache_en ), diff --git a/lacpu/rtl/mycpu/pip_ctrl.v b/lacpu/rtl/mycpu/pip_ctrl.v index 67a153d..80b9b2a 100644 --- a/lacpu/rtl/mycpu/pip_ctrl.v +++ b/lacpu/rtl/mycpu/pip_ctrl.v @@ -2,8 +2,8 @@ module pip_ctrl( input reset, input except_en, - input stallreq_fs_for_cache, - input stallreq_es_for_cache, + //input stallreq_fs_for_cache, + //input stallreq_es_for_cache, input stallreq_ds, input stallreq_es, input stallreq_axi, @@ -30,15 +30,16 @@ module pip_ctrl( flush = 1; stall = `StallBus'b0; end - //id段发生暂停，此时id及之前暂停 - else if (stallreq_ds) begin - flush = 0; - stall = `StallBus'b000111; - end else if (stallreq_es) begin flush = 0; stall = `StallBus'b111111; end + //id段发生暂停，此时id及之前暂? + else if (stallreq_ds) begin + flush = 0; + stall = `StallBus'b000111; + end + // else if(stallreq_fs_for_cache) begin // flush = 0; // stall = `StallBus'b000011; diff --git a/lacpu/rtl/mycpu/wb_stage.v b/lacpu/rtl/mycpu/wb_stage.v index 44217ee..2b78e1a 100644 --- a/lacpu/rtl/mycpu/wb_stage.v +++ b/lacpu/rtl/mycpu/wb_stage.v @@ -10,7 +10,7 @@ module wb_stage input flush, input [5:0] stall, - input [MS_TO_WS_BUS_WD -1:0] ms_to_ws_bus, + input [MS_TO_WS_BUS_WD -1:0] ms2_to_ws_bus, output [WS_TO_RF_BUS_WD -1:0] ws_to_rf_bus, output [WS_TO_ES_BUS_WD -1:0] ws_to_es_bus, @@ -19,7 +19,7 @@ module wb_stage output [ 4:0] debug_wb_rf_wnum, output [31:0] debug_wb_rf_wdata ); - reg [MS_TO_WS_BUS_WD -1:0] ms_to_ws_bus_r; + reg [MS_TO_WS_BUS_WD -1:0] ms2_to_ws_bus_r; wire reg_we; wire [ 4:0] dest; @@ -32,7 +32,7 @@ module wb_stage ms_final_result ,//95 :64 ws_pc ,//63 :32 inst //31 :0 - } = ms_to_ws_bus_r; + } = ms2_to_ws_bus_r; assign ws_to_rf_bus = {reg_we, dest, @@ -46,16 +46,16 @@ module wb_stage always @ (posedge clk) begin if (reset) begin - ms_to_ws_bus_r <= 0; + ms2_to_ws_bus_r <= 0; end else if (flush) begin - ms_to_ws_bus_r <= 0; + ms2_to_ws_bus_r <= 0; end else if (stall[4]&(!stall[5])) begin - ms_to_ws_bus_r <= 0; + ms2_to_ws_bus_r <= 0; end else if (!stall[4]) begin - ms_to_ws_bus_r <= ms_to_ws_bus; + ms2_to_ws_bus_r <= ms2_to_ws_bus; end end diff --git a/lacpu/rtl/xilinx_ip/clk_pll/clk_pll.xci b/lacpu/rtl/xilinx_ip/clk_pll/clk_pll.xci index 4a1cc4f..6ae03ba 100644 --- a/lacpu/rtl/xilinx_ip/clk_pll/clk_pll.xci +++ b/lacpu/rtl/xilinx_ip/clk_pll/clk_pll.xci @@ -98,17 +98,17 @@ 100.0 0000 0000 - 100.00000 + 65.00000 0000 0000 100.00000 BUFG 50.0 false - 100.00000 + 65.00000 0.000 50.000 - 100.000 + 65.000 0.000 1 0000 @@ -203,12 +203,12 @@ din 0000 1 - 1.0 - 1.0 - 1.0 - 1.0 - 1.0 - 1.0 + 0.65 + 0.65 + 0.65 + 0.65 + 0.65 + 0.65 dout drdy dwe @@ -246,16 +246,16 @@ false false OPTIMIZED - 9.000 + 13.000 0.000 FALSE 10.000 10.000 - 9.000 + 20.000 0.500 0.000 FALSE - 9 + 13 0.500 0.000 FALSE @@ -292,8 +292,8 @@ 2 Output Output Phase Duty Cycle Pk-to-Pk Phase Clock Freq (MHz) (degrees) (%) Jitter (ps) Error (ps) - _cpu_clk__100.00000______0.000______50.0______137.681____105.461 - timer_clk__100.00000______0.000______50.0______137.681____105.461 + _cpu_clk__65.00000______0.000______50.0______118.571_____82.897 + timer_clk__100.00000______0.000______50.0______109.471_____82.897 no_CLK_OUT3_output no_CLK_OUT4_output no_CLK_OUT5_output @@ -414,18 +414,18 @@ 100.0 0.010 BUFG - 137.681 + 118.571 false - 105.461 + 82.897 50.000 - 100.000 + 65.000 0.000 1 true BUFG - 137.681 + 109.471 false - 105.461 + 82.897 50.000 100.000 0.000 @@ -525,16 +525,16 @@ No_Jitter locked OPTIMIZED - 9 + 13 0.000 false 10.000 10.000 - 9 + 20 0.500 0.000 false - 9 + 13 0.500 0.000 false diff --git a/lacpu/run_vivado/la32r/la32r.xpr b/lacpu/run_vivado/la32r/la32r.xpr index 89c0095..d702fef 100644 --- a/lacpu/run_vivado/la32r/la32r.xpr +++ b/lacpu/run_vivado/la32r/la32r.xpr @@ -36,13 +36,13 @@