1
0
mirror of https://github.com/aolofsson/oh.git synced 2025-01-30 02:32:53 +08:00
oh/embox/hdl/embox.v

146 lines
5.0 KiB
Coq
Raw Normal View History

/*
###########################################################################
# Function: A mailbox FIFO with a FIFO empty/full flags that can be used as
# interrupts. Status of the FIFO can be polled.
#
# EMBOXLO = lower 32 bits of FIFO entry
# EMBOXHI = upper 32 bits of FIFO entry
# EMBSTATUS = status of FIFO [0]=1-->fifo not empty
# [1]=1-->fifo full
#
# Notes: System takes care of not overflowing the FIFO
# Reading the EMBOXHI causes rd pointer to update to next entry
# EMBOXLO/EMBOXHI must be consecutive addresses for write.
# The "embox_not_empty" will stay high as long as there are messages
#
# How to use: 1.) Connect "embox_not_empty" to interrupt input line
# 2.) Write an ISR to respond to interrupt line that:
# -reads EMBOXLO, then
# -reads EMBOXHI, then
# -finishes ISR
############################################################################
*/
module embox (/*AUTOARG*/
// Outputs
mi_dout, embox_full, embox_not_empty,
// Inputs
reset, clk, mi_en, mi_we, mi_addr, mi_din
);
parameter DW = 32; //data width of fifo
parameter RFAW = 5; //address bus width
parameter FAW = 4; //fifo entries==2^FAW
parameter GROUP = 4'h0; //address map group
/*****************************/
/*CLOCK AND RESET */
/*****************************/
input reset; //synchronous reset
input clk;
/*****************************/
/*SIMPLE MEMORY INTERFACE */
/*****************************/
input mi_en;
input mi_we;
input [19:0] mi_addr;
input [DW-1:0] mi_din;
output [DW-1:0] mi_dout;
/*****************************/
/*MAILBOX OUTPUTS */
/*****************************/
output embox_full;
output embox_not_empty;
/*****************************/
/*REGISTERS */
/*****************************/
reg [DW-1:0] mi_dout;
reg [DW-1:0] embox_data_reg;
reg mi_data_sel;
/*****************************/
/*WIRES */
/*****************************/
wire embox_read;
wire embox_write;
wire embox_lo_write;
wire embox_push_fifo;
wire embox_pop_fifo;
wire [2*DW-1:0] embox_fifo_data;
wire embox_empty;
/*****************************/
/*DECODE LOGIC */
/*****************************/
//fifo read/write logic
assign embox_write = mi_en & mi_we;
assign embox_read = mi_en & ~mi_we;
//Register write enables
assign embox_lo_write = embox_write & (mi_addr[RFAW-1:2]==`EMBOXLO); //write to shadow
assign embox_push_fifo = embox_write & (mi_addr[RFAW-1:2]==`EMBOXHI); //initiates FIFO write
//read logic
assign embox_pop_fifo = embox_read & (mi_addr[RFAW-1:2]==`EMBOXHI); //fifo read
/*****************************/
/*WRITE ACTION */
/*****************************/
//shadow register for writing lower word (32 bit bus)
always @ (posedge clk)
if(embox_lo_write)
embox_data_reg[DW-1:0] <=mi_din[DW-1:0];
/*****************************/
/*READ BACK DATA */
/*****************************/
always @ (posedge clk)
if(embox_read)
case(mi_addr[RFAW+1:2])
`EMBOXLO: mi_dout[DW-1:0] <= embox_fifo_data[DW-1:0];
`EMBOXHI: mi_dout[DW-1:0] <= embox_fifo_data[2*DW-1:DW];
default: mi_dout[DW-1:0] <= 32'd0;
endcase // case (mi_addr[RFAW-1:2])
/*****************************/
/*FIFO (64-BIT) */
/*****************************/
assign embox_not_empty = ~embox_empty;
//BUG! This fifo is currently hard coded to 32 entries
//Should be parametrized to up to 4096 entries
fifo_sync #(.DW(64)) mbox(// Outputs
.rd_data (embox_fifo_data[2*DW-1:0]),
.rd_empty (embox_empty),
.wr_full (embox_full),
// Inputs
.rd_en (embox_pop_fifo),
.wr_data ({mi_din[DW-1:0],embox_data_reg[DW-1:0]}),
.wr_en (embox_push_fifo),
.clk (clk),
.reset (reset)
);
endmodule // embox
/*
Copyright (C) 2014 Adapteva, Inc.
Contributed by Andreas Olofsson <andreas@adapteva.com>
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.This program is distributed in the hope
that it will be useful,but WITHOUT ANY WARRANTY; without even the implied
warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details. You should have received a copy
of the GNU General Public License along with this program (see the file
COPYING). If not, see <http://www.gnu.org/licenses/>.
*/