mirror of
https://github.com/jhshi/openofdm.git
synced 2024-12-19 21:58:14 +00:00
119 lines
4.0 KiB
Coq
119 lines
4.0 KiB
Coq
|
// Xianjun jiao. putaoshu@msn.com; xianjun.jiao@imec.be;
|
||
|
|
||
|
module mv_avg_dual_ch
|
||
|
#(
|
||
|
parameter DATA_WIDTH0 = 16,
|
||
|
parameter DATA_WIDTH1 = 16,
|
||
|
parameter LOG2_AVG_LEN = 5
|
||
|
)
|
||
|
(
|
||
|
input clk,
|
||
|
input rstn,
|
||
|
|
||
|
input signed [DATA_WIDTH0-1:0] data_in0,
|
||
|
input signed [DATA_WIDTH1-1:0] data_in1,
|
||
|
input data_in_valid,
|
||
|
|
||
|
output signed [DATA_WIDTH0-1:0] data_out0,
|
||
|
output signed [DATA_WIDTH1-1:0] data_out1,
|
||
|
output data_out_valid
|
||
|
);
|
||
|
|
||
|
localparam FIFO_SIZE = 1<<LOG2_AVG_LEN;
|
||
|
localparam TOTAL_WIDTH0 = DATA_WIDTH0 + LOG2_AVG_LEN;
|
||
|
localparam TOTAL_WIDTH1 = DATA_WIDTH1 + LOG2_AVG_LEN;
|
||
|
|
||
|
reg signed [(TOTAL_WIDTH0-1):0] running_total0;
|
||
|
reg signed [(TOTAL_WIDTH1-1):0] running_total1;
|
||
|
|
||
|
reg signed [DATA_WIDTH0-1:0] data_in0_reg; // to lock data_in by data_in_valid in case it changes in between two valid strobes
|
||
|
reg signed [DATA_WIDTH0-1:0] data_in1_reg; // to lock data_in by data_in_valid in case it changes in between two valid strobes
|
||
|
wire signed [DATA_WIDTH0-1:0] data_in_old0;
|
||
|
wire signed [DATA_WIDTH1-1:0] data_in_old1;
|
||
|
|
||
|
wire signed [TOTAL_WIDTH0-1:0] ext_data_in_old0 = {{LOG2_AVG_LEN{data_in_old0[DATA_WIDTH0-1]}}, data_in_old0};
|
||
|
wire signed [TOTAL_WIDTH0-1:0] ext_data_in0 = {{LOG2_AVG_LEN{data_in0_reg[DATA_WIDTH0-1]}}, data_in0_reg};
|
||
|
wire signed [TOTAL_WIDTH1-1:0] ext_data_in_old1 = {{LOG2_AVG_LEN{data_in_old1[DATA_WIDTH1-1]}}, data_in_old1};
|
||
|
wire signed [TOTAL_WIDTH1-1:0] ext_data_in1 = {{LOG2_AVG_LEN{data_in1_reg[DATA_WIDTH1-1]}}, data_in1_reg};
|
||
|
|
||
|
reg rd_en, rd_en_start;
|
||
|
wire [LOG2_AVG_LEN:0] wr_data_count;
|
||
|
reg [LOG2_AVG_LEN:0] wr_data_count_reg;
|
||
|
wire wr_complete_pulse;
|
||
|
reg wr_complete_pulse_reg;
|
||
|
|
||
|
assign wr_complete_pulse = (wr_data_count > wr_data_count_reg);
|
||
|
assign data_out_valid = wr_complete_pulse_reg;
|
||
|
assign data_out0 = running_total0[TOTAL_WIDTH0-1:LOG2_AVG_LEN];
|
||
|
assign data_out1 = running_total1[TOTAL_WIDTH1-1:LOG2_AVG_LEN];
|
||
|
|
||
|
xpm_fifo_sync #(
|
||
|
.DOUT_RESET_VALUE("0"), // String
|
||
|
.ECC_MODE("no_ecc"), // String
|
||
|
.FIFO_MEMORY_TYPE("auto"), // String
|
||
|
.FIFO_READ_LATENCY(0), // DECIMAL
|
||
|
.FIFO_WRITE_DEPTH(FIFO_SIZE), // DECIMAL minimum 16!
|
||
|
.FULL_RESET_VALUE(0), // DECIMAL
|
||
|
.PROG_EMPTY_THRESH(10), // DECIMAL
|
||
|
.PROG_FULL_THRESH(10), // DECIMAL
|
||
|
.RD_DATA_COUNT_WIDTH(LOG2_AVG_LEN+1), // DECIMAL
|
||
|
.READ_DATA_WIDTH(DATA_WIDTH0+DATA_WIDTH1), // DECIMAL
|
||
|
.READ_MODE("fwft"), // String
|
||
|
.USE_ADV_FEATURES("0404"), // only enable rd_data_count and wr_data_count
|
||
|
.WAKEUP_TIME(0), // DECIMAL
|
||
|
.WRITE_DATA_WIDTH(DATA_WIDTH0+DATA_WIDTH1), // DECIMAL
|
||
|
.WR_DATA_COUNT_WIDTH(LOG2_AVG_LEN+1) // DECIMAL
|
||
|
) fifo_1clk_for_mv_avg_dual_ch_i (
|
||
|
.almost_empty(),
|
||
|
.almost_full(),
|
||
|
.data_valid(),
|
||
|
.dbiterr(),
|
||
|
.dout({data_in_old1, data_in_old0}),
|
||
|
.empty(empty),
|
||
|
.full(full),
|
||
|
.overflow(),
|
||
|
.prog_empty(),
|
||
|
.prog_full(),
|
||
|
.rd_data_count(),
|
||
|
.rd_rst_busy(),
|
||
|
.sbiterr(),
|
||
|
.underflow(),
|
||
|
.wr_ack(),
|
||
|
.wr_data_count(wr_data_count),
|
||
|
.wr_rst_busy(),
|
||
|
.din({data_in1, data_in0}),
|
||
|
.injectdbiterr(),
|
||
|
.injectsbiterr(),
|
||
|
.rd_en(rd_en),
|
||
|
.rst(~rstn),
|
||
|
.sleep(),
|
||
|
.wr_clk(clk),
|
||
|
.wr_en(data_in_valid)
|
||
|
);
|
||
|
|
||
|
always @(posedge clk) begin
|
||
|
if (~rstn) begin
|
||
|
data_in0_reg <= 0;
|
||
|
data_in1_reg <= 0;
|
||
|
wr_complete_pulse_reg <= 0;
|
||
|
wr_data_count_reg <= 0;
|
||
|
running_total0 <= 0;
|
||
|
running_total1 <= 0;
|
||
|
rd_en <= 0;
|
||
|
rd_en_start <= 0;
|
||
|
end else begin
|
||
|
data_in0_reg <= (data_in_valid?data_in0:data_in0_reg);
|
||
|
data_in1_reg <= (data_in_valid?data_in1:data_in1_reg);
|
||
|
wr_complete_pulse_reg <= wr_complete_pulse;
|
||
|
wr_data_count_reg <= wr_data_count;
|
||
|
rd_en_start <= ((wr_data_count == (FIFO_SIZE))?1:rd_en_start);
|
||
|
rd_en <= (rd_en_start?wr_complete_pulse:rd_en);
|
||
|
if (wr_complete_pulse) begin
|
||
|
running_total0 <= running_total0 + ext_data_in0 - (rd_en_start?ext_data_in_old0:0);
|
||
|
running_total1 <= running_total1 + ext_data_in1 - (rd_en_start?ext_data_in_old1:0);
|
||
|
end
|
||
|
end
|
||
|
end
|
||
|
|
||
|
endmodule
|