`default_nettype wire

module axi_ctrl_v5
#(
    parameter TAG_WD       = 21,
    parameter INDEX_WD     = 64,
    parameter CACHELINE_WD = 512,
    parameter STAGE_WD     = 12
)
(
    input clk,
    input reset,

    // icache interface
    input                          icache_re,           // miss
    input      [31             :0] icache_raddr,         // miss_addr
    output reg [CACHELINE_WD -1:0] icache_cacheline_new,

    input                          icache_we,           // we_back
    input      [31             :0] icache_waddr,         // waddr
    input      [CACHELINE_WD -1:0] icache_cacheline_old, // wback

    output reg                     icache_refresh, 

    // dcache interface
    input                          dcache_re,           // miss
    input      [31             :0] dcache_raddr,         // miss_addr
    output reg [CACHELINE_WD -1:0] dcache_cacheline_new,

    input                          dcache_we,           // we_back
    input      [31             :0] dcache_waddr,         // waddr
    input      [CACHELINE_WD -1:0] dcache_cacheline_old, // wback
    
    output reg                     dcache_refresh,       // fin

    // uncache  interface
    input                          uncache_en,
    input      [3              :0] uncache_we,
    input      [31             :0] uncache_addr,
    input      [31             :0] uncache_wdata,
    output reg [31             :0] uncache_rdata,
    output reg                     uncache_refresh,

    //总线侧接�
    //读地�通�信�
    output reg [3 :0] arid,     //读地�ID，用�标志一组写信�
    output reg [31:0] araddr,   //读地�，给出一次写��传输的读地�
    output reg [3 :0] arlen,    //��长度，给出��传输的次数
    output reg [2 :0] arsize,   //��大�，给出�次��传输的字节�
    output reg [1 :0] arburst,  //��类型
    output reg [1 :0] arlock,   //总线�信�，��供�作的原��
    output reg [3 :0] arcache,  //内存类型，表明一次传输是怎样通过系统�
    output reg [2 :0] arprot,   //�护类型，表明一次传输的特�级�安全等级
    output reg 		  arvalid,  //有效信�，表明此通�的地�控制信�有效
    input  		      arready,  //表明"�"�以接收地�和对应的控制信�
    //读数���信� 
    input      [3 :0] rid,      //读ID tag
    input      [31:0] rdata,    //读数�
    input      [1 :0] rresp,    //读å“�应，表明读传输的状æ??
    input  		      rlast,    //表明读��的��一次传�
    input  		      rvalid,   //表明此��信�有效
    output reg		  rready,   //表明主机能够接收读数�和�应信�
 
    //写地�通�信� 
    output reg [3 :0] awid,     //写地�ID，用�标志一组写信�
    output reg [31:0] awaddr,   //写地�，给出一次写��传输的写地�
    output reg [3 :0] awlen,    //��长度，给出��传输的次数
    output reg [2 :0] awsize,   //��大�，给出�次��传输的字节�
    output reg [1 :0] awburst,  //��类型
    output reg [1 :0] awlock,   //总线�信�，��供�作的原��
    output reg [3 :0] awcache,  //内存类型，表明一次传输是怎样通过系统�
    output reg [2 :0] awprot,   //�护类型，表明一次传输的特�级�安全等级
    output reg 		  awvalid,  //有效信�，表明此通�的地�控制信�有效
    input  		      awready,  //表明"�"�以接收地�和对应的控制信�
    //写数���信� 
    output reg [3 :0] wid,      //�次写传输的ID tag
    output reg [31:0] wdata,    //写数�
    output reg [3 :0] wstrb,    //写数�有效的字节线，用�表明�8bits数�是有效的
    output reg 		  wlast,    //表明此次传输是最�一个��传�
    output reg		  wvalid,   //写有效，表明此次写有�
    input  		      wready,   //表明从机�以接收写数�
    //写�应��信�
    input      [3 :0] bid,      //写�应ID tag
    input      [1 :0] bresp,    //写å“�应，表明写传输的状æ?? 00为正常，当然å�¯ä»¥ä¸�ç�†ä¼?
    input  		      bvalid,   //写�应有�
    output reg        bready    //表明主机能够接收写��

);
    reg [CACHELINE_WD -1:0] icache_rdata_buffer;
    reg [CACHELINE_WD -1:0] icache_wdata_buffer;
    reg [CACHELINE_WD -1:0] dcache_rdata_buffer;
    reg [CACHELINE_WD -1:0] dcache_wdata_buffer;
    reg [31             :0] icache_raddr_buffer;
    reg [31             :0] icache_waddr_buffer;
    reg [31             :0] dcache_raddr_buffer;
    reg [31             :0] dcache_waddr_buffer;
    reg [3              :0] icache_offset;
    reg [3              :0] dcache_offset;
    reg [3              :0] dcache_offset_w;
    reg                     icache_re_buffer;
    reg                     dcache_re_buffer;
    reg                     icache_we_buffer;
    reg                     dcache_we_buffer;

    reg                     uncache_en_buffer;
    reg [3              :0] uncache_we_buffer;
    reg [31             :0] uncache_addr_buffer;
    reg [31             :0] uncache_wdata_buffer; 
    reg [31             :0] uncache_rdata_buffer;

    reg [STAGE_WD     -1:0] stage;
    reg [STAGE_WD     -1:0] stage_w;

    always @(posedge clk) begin
        if(reset) begin
            arid <= 4'b0000;
            araddr <= 32'b0;
            arlen <= 4'b0000;
            arsize <= 3'b010;
            arburst <= 2'b01;
            arlock <= 2'b00;
            arcache <= 4'b0000;
            arprot <= 3'b000;
            arvalid <= 1'b0;

            rready <= 1'b0;
            
            stage                <= {{(STAGE_WD-1){1'b0}}, 1'b1};

            icache_refresh       <= 0;
            dcache_refresh       <= 0;
            icache_cacheline_new <= 0;
            dcache_cacheline_new <= 0;

            uncache_refresh <= 1'b0;
            uncache_rdata   <= 32'b0;
        end
        else begin
            case (1'b1)
                stage[0]: begin
                    icache_refresh  <= 1'b0;
                    dcache_refresh  <= 1'b0;
                    uncache_refresh <= 1'b0;

                    icache_re_buffer   <= icache_re;
                    icache_raddr_buffer <= icache_raddr;
                    icache_we_buffer    <= icache_we;
                    icache_waddr_buffer <= icache_waddr;
                    
                    dcache_re_buffer   <= dcache_re;
                    dcache_raddr_buffer <= dcache_raddr;
                    dcache_we_buffer    <= dcache_we;
                    dcache_waddr_buffer <= dcache_waddr;

                    uncache_en_buffer    <= uncache_en;
                    uncache_we_buffer    <= uncache_we;
                    uncache_addr_buffer  <= uncache_addr;
                    uncache_wdata_buffer <= uncache_wdata;

                    if (dcache_we|(uncache_en&((|uncache_we)))) begin
                        stage <= stage << 1;    
                    end
                    else if (icache_re|dcache_re|(uncache_en&~(|uncache_we))) begin
                        stage <= stage << 2;
                    end
                end
                stage[1]: begin
                    icache_wdata_buffer <= icache_cacheline_old;
                    dcache_wdata_buffer <= dcache_cacheline_old;
                    if (icache_re_buffer|dcache_re_buffer|(uncache_en_buffer&~(|uncache_we_buffer))) begin
                        stage <= stage << 1;
                    end
                    else begin
                        stage <= {1'b0,1'b1,10'b0};
                    end
                end
                stage[2]:begin
                    if (icache_re_buffer) begin
                        arid    <= 4'b0;
                        araddr  <= icache_raddr_buffer;
                        arlen   <= 4'hf;
                        arsize  <= 3'b010;
                        arvalid <= 1'b1;

                        stage   <= stage << 1;
                    end
                    else begin
                        stage   <= stage << 3;
                    end
                end
                stage[3]:begin
                    if (arready) begin
                        arvalid       <= 1'b0;
                        araddr        <= 32'b0;
                        rready        <= 1'b1;
                        icache_offset <= 4'd0;
                        stage         <= stage << 1;
                    end
                end
                stage[4]:begin
                    if (!rlast&rvalid) begin
                        icache_rdata_buffer[icache_offset*32+:32] <= rdata;
                        icache_offset <= icache_offset + 1'b1;
                    end
                    else if(rlast&rvalid) begin
                        icache_rdata_buffer[icache_offset*32+:32] <= rdata;
                        rready <= 1'b0;
                        stage  <= stage << 1;
                    end
                end
                stage[5]:begin
                    if (dcache_re_buffer) begin
                        arid    <= 4'b1;
                        araddr  <= dcache_raddr_buffer;
                        arlen   <= 4'hf;
                        arsize  <= 3'b010;
                        arvalid <= 1'b1;

                        stage <= stage << 1;
                    end
                    else if (uncache_en_buffer&~(|uncache_we_buffer)) begin
                        arid <= 4'b1;
                        araddr <= uncache_addr_buffer;
                        arlen <= 4'b0;
                        arsize <= 3'b010;
                        arvalid <= 1'b1;
                        stage <= stage << 3;
                    end
                    else begin
                        stage <= {1'b0,1'b1,10'b0};
                    end
                end
                stage[6]:begin
                    if (arready) begin
                        arvalid       <= 1'b0;
                        araddr        <= 32'b0;
                        rready        <= 1'b1;
                        dcache_offset <= 4'd0;
                        stage         <= stage << 1;
                    end
                end
                stage[7]:begin
                    if (!rlast&rvalid) begin
                        dcache_rdata_buffer[dcache_offset*32+:32] <= rdata;
                        dcache_offset <= dcache_offset + 1'b1;
                    end
                    else if (rlast&rvalid) begin
                        dcache_rdata_buffer[dcache_offset*32+:32] <= rdata;
                        rready <= 1'b0;
                        stage  <= {1'b0,1'b1,10'b0};
                    end
                end
                stage[8]:begin
                    if (arready) begin
                        arvalid <= 1'b0;
                        araddr  <= 32'b0;
                        rready  <= 1'b1;
                        stage   <= stage << 1;
                    end
                end
                stage[9]:begin
                    if (rvalid) begin
                        uncache_rdata_buffer <= rdata;
                        rready <= 1'b0;
                        stage  <= {1'b0,1'b1,10'b0};
                    end
                end
                stage[10]:begin
                    if (stage_w[10]|stage_w[0]) begin
                        stage <= stage << 1;
                    end
                end
                stage[11]:begin
                    if (icache_re_buffer) begin
                        icache_refresh <= 1'b1;
                        icache_cacheline_new <= icache_rdata_buffer;
                    end
                    if (dcache_re_buffer) begin
                        dcache_refresh <= 1'b1;
                        dcache_cacheline_new <= dcache_rdata_buffer;
                    end
                    if (uncache_en_buffer) begin
                        uncache_refresh <= 1'b1;   
                        uncache_rdata <= uncache_rdata_buffer;
                    end
                    stage <= 0;
                end
                default:begin
                    stage          <= {{(STAGE_WD-1){1'b0}}, 1'b1};
                    icache_refresh <= 1'b0;
                    dcache_refresh <= 1'b0;
                    uncache_refresh <= 1'b0;
                end
            endcase
        end
    end

    always @ (posedge clk) begin
        if (reset) begin
            awid    <= 4'b0001;
            awaddr  <= 32'b0;
            awlen   <= 4'b0000;
            awsize  <= 3'b010;
            awburst <= 2'b01;
            awlock  <= 2'b00;
            awcache <= 4'b0000;
            awprot  <= 3'b000;
            awvalid <= 1'b0;

            wid    <= 4'b0001;
            wdata  <= 32'b0;
            wstrb  <= 4'b0000;
            wlast  <= 1'b0;
            wvalid <= 1'b0;

            bready <= 1'b0;
            
            stage_w <= {{(STAGE_WD-1){1'b0}}, 1'b1};
        end
        else begin
            case (1'b1)
                stage_w[0]:begin
                    if (stage[1]) begin
                        if (dcache_we_buffer) begin
                            awid <= 4'b1;
                            awaddr <= dcache_waddr_buffer;
                            awlen <= 4'hf;
                            awsize <= 3'b010;
                            awvalid <= 1'b1;
                            wstrb <= 4'b1111;
                            wlast <= 1'b0;
                            bready <= 1'b1;
                            dcache_offset_w <= 4'b0;
                            stage_w <= stage_w << 1;
                        end
                        else if (|uncache_we_buffer) begin // write
                            awid <= 4'b1;
                            awaddr <= uncache_addr_buffer;
                            awlen <= 4'b0;
                            case (uncache_we_buffer)
                                4'b0001,4'b0010,4'b0100,4'b1000:begin
                                    awsize <= 3'b000; 
                                    wstrb <= uncache_we_buffer;       
                                end
                                4'b0011,4'b1100:begin
                                    awsize <= 3'b001;
                                    wstrb <= uncache_we_buffer;
                                end
                                4'b1111:begin
                                    awsize <= 3'b010;
                                    wstrb <= uncache_we_buffer;
                                end
                                default:begin
                                    awsize <= 3'b010;
                                    wstrb <= uncache_we_buffer;
                                end
                            endcase
                            awvalid <= 1'b1;
                            wlast <= 1'b0;
                            bready <= 1'b1;
                            stage_w <= stage_w << 4;
                        end
                    end
                end
                stage_w[1]:begin
                    if (awready) begin
                        awvalid <= 1'b0;
                        awaddr <= 32'b0;
                        wdata <= dcache_wdata_buffer[dcache_offset_w*32+:32];
                        wvalid <= 1'b1;
                        wlast <= dcache_offset_w == 4'b1111 ? 1'b1 : 1'b0;
                        dcache_offset_w <= dcache_offset_w + 1'b1;
                        if (dcache_offset_w == 4'b1111) begin
                            stage_w <= stage_w << 1;
                        end
                    end
                    else if (wready) begin
                        wdata <= dcache_wdata_buffer[dcache_offset_w*32+:32];
                        wvalid <= 1'b1;
                        wlast <= dcache_offset_w == 4'b1111 ? 1'b1 : 1'b0;
                        dcache_offset_w <= dcache_offset_w + 1'b1;
                        if (dcache_offset_w == 4'b1111) begin
                            stage_w <= stage_w << 1;
                        end
                    end
                end
                stage_w[2]:begin
                    if (wready) begin
                        wdata <= 32'b0;
                        wvalid <= 1'b0;    
                        wlast <= 1'b0;
                        stage_w <= stage_w << 1;
                    end
                end
                stage_w[3]:begin
                    if (bvalid) begin
                        bready <= 1'b0;
                        stage_w <= {1'b0,1'b1,{10{1'b0}}};
                    end
                end
                stage_w[4]:begin
                    if (awready) begin
                        awvalid <= 1'b0;
                        awaddr <= 32'b0;
                        wdata <= uncache_wdata_buffer;
                        wvalid <= 1'b1;
                        wlast <= 1'b1;
                        stage_w <= stage_w << 1;
                    end
                end
                stage_w[5]:begin
                    if (wready) begin
                        wdata <= 32'b0;
                        wvalid <= 1'b0;
                        wlast <= 1'b0;
                        stage_w <= stage_w << 1;
                    end
                end
                stage_w[6]:begin
                    if (bvalid) begin
                        bready <= 1'b0;
                        stage_w <= {1'b0,1'b1,{10{1'b0}}};
                    end
                end
                stage_w[10]:begin
                    if (stage[11]) begin
                        stage_w <= {{(STAGE_WD-1){1'b0}}, 1'b1};    
                    end
                end
                default:begin
                    stage_w <= {{(STAGE_WD-1){1'b0}}, 1'b1};
                end
            endcase
        end
    end

endmodule