data/full_repos/permissive/208113388/tlx/ocx_tlx_dcp_fifo_ctl.v
data/verilator_xmls/f4016e9a-d02d-43db-ab75-d90f747d1f19.xml
module ocx_tlx_dcp_fifo_ctl
    #(
    parameter addr_width = 7
    )
    (
    input  good_crc,
    input  crc_flush_done,
    input  crc_flush_inprog,
    input  fp_rcv_data_v,
    input  [511:0] fp_rcv_data_bus,
    input  [2:0] afu_tlx_rd_cnt,
    input  afu_tlx_rd_req,
    output fifo_wr_ena,
    output [addr_width-1:0] fifo_wr_addr,
    output [addr_width-1:0] fifo_wr_addr_clone,
    output [511:0] fifo_wr_data,
    output fifo_rd_ena,
    output [addr_width-1:0] fifo_rd_addr,
    output rcv_xmt_credit_return_v,
    input  crc_error,
    input  tlx_clk,
    input  reset_n
    );
wire [addr_width:0] fifo_wr_ptr_din,fifo_rd_ptr_din,fifo_wr_verif_ptr_din;
reg  [addr_width:0] fifo_wr_ptr_dout,fifo_rd_ptr_dout,fifo_wr_verif_ptr_dout,fifo_wr_ptr_dout_clone;
wire [addr_width-1:0] fifo_rd_cnt_din;
reg  [addr_width-1:0] fifo_rd_cnt_dout;
wire fifo_rd_ena_int;
wire [addr_width:0] fifo_wr_ptr_plus1, fifo_rd_ptr_plus1;

reg  [addr_width:0] credit_init_cnt_reg; 
wire [3:0] afu_rd_cnt_decode;
wire crc_error_din;
reg  crc_error_dout;
wire crc_flush_inprog_din;
reg  crc_flush_inprog_dout;

wire [2:0] afu_rd_cnt_din;
reg  [2:0] afu_rd_cnt_dout;
wire afu_rd_req_din;
reg  afu_rd_req_dout;
always @(posedge tlx_clk)
begin
    if (!reset_n)
    begin
    fifo_wr_ptr_dout <= {addr_width+1{1'b0}};
    fifo_wr_ptr_dout_clone <= {addr_width+1{1'b0}};
    fifo_wr_verif_ptr_dout <= {addr_width+1{1'b0}};
    fifo_rd_ptr_dout <= {addr_width+1{1'b0}};
    fifo_rd_cnt_dout <= {addr_width{1'b0}};

    credit_init_cnt_reg <= {1'b1, {addr_width{1'b0}} };
    crc_error_dout <= 1'b0;
    crc_flush_inprog_dout <= 1'b0;
    afu_rd_cnt_dout <= 3'b0;
    afu_rd_req_dout <= 1'b0;

    end
    else
    begin
    if(credit_init_cnt_reg != {addr_width+1{1'b0}})
        begin
        credit_init_cnt_reg <= credit_init_cnt_reg - {{addr_width{1'b0}}, 1'b1};
        end
    fifo_wr_ptr_dout <= fifo_wr_ptr_din;
    fifo_wr_ptr_dout_clone <= fifo_wr_ptr_din;
    fifo_wr_verif_ptr_dout <= fifo_wr_verif_ptr_din;
    fifo_rd_ptr_dout <= fifo_rd_ptr_din;  
    fifo_rd_cnt_dout <= fifo_rd_cnt_din; 
    crc_error_dout <= crc_error_din;
    crc_flush_inprog_dout <= crc_flush_inprog_din;
    afu_rd_cnt_dout <= afu_rd_cnt_din;
    afu_rd_req_dout <= afu_rd_req_din;    
    end 
end


wire unused_intentionally;
assign unused_intentionally = fifo_wr_ptr_dout_clone[addr_width];

assign afu_rd_req_din = afu_tlx_rd_req;
assign afu_rd_cnt_din = afu_tlx_rd_cnt;
assign crc_flush_inprog_din = crc_flush_inprog;
assign crc_error_din = crc_error;
assign afu_rd_cnt_decode = (afu_rd_cnt_dout == 3'b011) ? 4'b0100 :
                           (afu_rd_cnt_dout == 3'b100) ? 4'b0011 : 
                           (afu_rd_cnt_dout == 3'b000) ? 4'b1000 : {1'b0,afu_rd_cnt_dout};                                

assign fifo_rd_ena_int = (fifo_rd_cnt_dout != {addr_width{1'b0}}) & ((fifo_wr_verif_ptr_dout[addr_width] != fifo_rd_ptr_dout[addr_width]) | (fifo_wr_verif_ptr_dout[addr_width-1:0] > fifo_rd_ptr_dout[addr_width-1:0])) ;
assign fifo_rd_cnt_din = (~afu_rd_req_dout && fifo_rd_ena_int) ? fifo_rd_cnt_dout - {{addr_width-1{1'b0}}, 1'b1} :
                         (afu_rd_req_dout && fifo_rd_ena_int)  ? (fifo_rd_cnt_dout - {{addr_width-1{1'b0}}, 1'b1}) + {{addr_width-4{1'b0}}, afu_rd_cnt_decode[3:0]} : 
                         (afu_rd_req_dout)                     ? fifo_rd_cnt_dout + {{addr_width-4{1'b0}}, afu_rd_cnt_decode[3:0]} : fifo_rd_cnt_dout;                         

assign fifo_wr_ptr_plus1 = fifo_wr_ptr_dout + {{addr_width{1'b0}}, 1'b1};
assign fifo_wr_ptr_din = (crc_flush_done || (~crc_flush_inprog && crc_error_dout)) ? fifo_wr_verif_ptr_dout : 
                         fp_rcv_data_v  ? fifo_wr_ptr_plus1      : fifo_wr_ptr_dout;
                            
assign fifo_wr_verif_ptr_din = (good_crc && fp_rcv_data_v) ? fifo_wr_ptr_din :
                               (good_crc || crc_flush_inprog_dout) ? fifo_wr_ptr_dout : fifo_wr_verif_ptr_dout;                                               

assign fifo_rd_ptr_plus1 = fifo_rd_ptr_dout + {{addr_width{1'b0}}, 1'b1};
assign fifo_rd_ptr_din = fifo_rd_ena_int ? fifo_rd_ptr_plus1 : fifo_rd_ptr_dout;

assign fifo_wr_ena = fp_rcv_data_v;
assign fifo_wr_addr = fifo_wr_ptr_dout[addr_width-1:0];
assign fifo_wr_addr_clone = fifo_wr_ptr_dout_clone[addr_width-1:0];
assign fifo_wr_data = fp_rcv_data_bus;
assign fifo_rd_ena = fifo_rd_ena_int;
assign fifo_rd_addr = fifo_rd_ptr_dout[addr_width-1:0];


assign rcv_xmt_credit_return_v = (!reset_n) ? 1'b0 : 
                                 (credit_init_cnt_reg != {addr_width+1{1'b0}}) ? 1'b1 : fifo_rd_ena_int;

 

endmodule
module ocx_tlx_dcp_fifo_ctl
    #(
    parameter addr_width = 7
    )
    (
    input  good_crc,
    input  crc_flush_done,
    input  crc_flush_inprog,
    input  fp_rcv_data_v,
    input  [511:0] fp_rcv_data_bus,
    input  [2:0] afu_tlx_rd_cnt,
    input  afu_tlx_rd_req,
    output fifo_wr_ena,
    output [addr_width-1:0] fifo_wr_addr,
    output [addr_width-1:0] fifo_wr_addr_clone,
    output [511:0] fifo_wr_data,
    output fifo_rd_ena,
    output [addr_width-1:0] fifo_rd_addr,
    output rcv_xmt_credit_return_v,
    input  crc_error,
    input  tlx_clk,
    input  reset_n
    );

wire [addr_width:0] fifo_wr_ptr_din,fifo_rd_ptr_din,fifo_wr_verif_ptr_din;
reg  [addr_width:0] fifo_wr_ptr_dout,fifo_rd_ptr_dout,fifo_wr_verif_ptr_dout,fifo_wr_ptr_dout_clone;
wire [addr_width-1:0] fifo_rd_cnt_din;
reg  [addr_width-1:0] fifo_rd_cnt_dout;
wire fifo_rd_ena_int;
wire [addr_width:0] fifo_wr_ptr_plus1, fifo_rd_ptr_plus1;

reg  [addr_width:0] credit_init_cnt_reg; 
wire [3:0] afu_rd_cnt_decode;
wire crc_error_din;
reg  crc_error_dout;
wire crc_flush_inprog_din;
reg  crc_flush_inprog_dout;

wire [2:0] afu_rd_cnt_din;
reg  [2:0] afu_rd_cnt_dout;
wire afu_rd_req_din;
reg  afu_rd_req_dout;
always @(posedge tlx_clk)
begin
    if (!reset_n)
    begin
    fifo_wr_ptr_dout <= {addr_width+1{1'b0}};
    fifo_wr_ptr_dout_clone <= {addr_width+1{1'b0}};
    fifo_wr_verif_ptr_dout <= {addr_width+1{1'b0}};
    fifo_rd_ptr_dout <= {addr_width+1{1'b0}};
    fifo_rd_cnt_dout <= {addr_width{1'b0}};

    credit_init_cnt_reg <= {1'b1, {addr_width{1'b0}} };
    crc_error_dout <= 1'b0;
    crc_flush_inprog_dout <= 1'b0;
    afu_rd_cnt_dout <= 3'b0;
    afu_rd_req_dout <= 1'b0;

    end
    else
    begin
    if(credit_init_cnt_reg != {addr_width+1{1'b0}})
        begin
        credit_init_cnt_reg <= credit_init_cnt_reg - {{addr_width{1'b0}}, 1'b1};
        end
    fifo_wr_ptr_dout <= fifo_wr_ptr_din;
    fifo_wr_ptr_dout_clone <= fifo_wr_ptr_din;
    fifo_wr_verif_ptr_dout <= fifo_wr_verif_ptr_din;
    fifo_rd_ptr_dout <= fifo_rd_ptr_din;  
    fifo_rd_cnt_dout <= fifo_rd_cnt_din; 
    crc_error_dout <= crc_error_din;
    crc_flush_inprog_dout <= crc_flush_inprog_din;
    afu_rd_cnt_dout <= afu_rd_cnt_din;
    afu_rd_req_dout <= afu_rd_req_din;    
    end 
end


wire unused_intentionally;
assign unused_intentionally = fifo_wr_ptr_dout_clone[addr_width];

assign afu_rd_req_din = afu_tlx_rd_req;
assign afu_rd_cnt_din = afu_tlx_rd_cnt;
assign crc_flush_inprog_din = crc_flush_inprog;
assign crc_error_din = crc_error;
assign afu_rd_cnt_decode = (afu_rd_cnt_dout == 3'b011) ? 4'b0100 :
                           (afu_rd_cnt_dout == 3'b100) ? 4'b0011 : 
                           (afu_rd_cnt_dout == 3'b000) ? 4'b1000 : {1'b0,afu_rd_cnt_dout};                                

assign fifo_rd_ena_int = (fifo_rd_cnt_dout != {addr_width{1'b0}}) & ((fifo_wr_verif_ptr_dout[addr_width] != fifo_rd_ptr_dout[addr_width]) | (fifo_wr_verif_ptr_dout[addr_width-1:0] > fifo_rd_ptr_dout[addr_width-1:0])) ;
assign fifo_rd_cnt_din = (~afu_rd_req_dout && fifo_rd_ena_int) ? fifo_rd_cnt_dout - {{addr_width-1{1'b0}}, 1'b1} :
                         (afu_rd_req_dout && fifo_rd_ena_int)  ? (fifo_rd_cnt_dout - {{addr_width-1{1'b0}}, 1'b1}) + {{addr_width-4{1'b0}}, afu_rd_cnt_decode[3:0]} : 
                         (afu_rd_req_dout)                     ? fifo_rd_cnt_dout + {{addr_width-4{1'b0}}, afu_rd_cnt_decode[3:0]} : fifo_rd_cnt_dout;                         

assign fifo_wr_ptr_plus1 = fifo_wr_ptr_dout + {{addr_width{1'b0}}, 1'b1};
assign fifo_wr_ptr_din = (crc_flush_done || (~crc_flush_inprog && crc_error_dout)) ? fifo_wr_verif_ptr_dout : 
                         fp_rcv_data_v  ? fifo_wr_ptr_plus1      : fifo_wr_ptr_dout;
                            
assign fifo_wr_verif_ptr_din = (good_crc && fp_rcv_data_v) ? fifo_wr_ptr_din :
                               (good_crc || crc_flush_inprog_dout) ? fifo_wr_ptr_dout : fifo_wr_verif_ptr_dout;                                               

assign fifo_rd_ptr_plus1 = fifo_rd_ptr_dout + {{addr_width{1'b0}}, 1'b1};
assign fifo_rd_ptr_din = fifo_rd_ena_int ? fifo_rd_ptr_plus1 : fifo_rd_ptr_dout;

assign fifo_wr_ena = fp_rcv_data_v;
assign fifo_wr_addr = fifo_wr_ptr_dout[addr_width-1:0];
assign fifo_wr_addr_clone = fifo_wr_ptr_dout_clone[addr_width-1:0];
assign fifo_wr_data = fp_rcv_data_bus;
assign fifo_rd_ena = fifo_rd_ena_int;
assign fifo_rd_addr = fifo_rd_ptr_dout[addr_width-1:0];


assign rcv_xmt_credit_return_v = (!reset_n) ? 1'b0 : 
                                 (credit_init_cnt_reg != {addr_width+1{1'b0}}) ? 1'b1 : fifo_rd_ena_int;

 

endmodule