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

158 lines
4.5 KiB
Coq
Raw Normal View History

2015-06-30 13:32:05 +02:00
`include "elink_regmap.v"
module etx_protocol (/*AUTOARG*/
// Outputs
etx_rd_wait, etx_wr_wait, tx_packet, tx_access, tx_burst,
// Inputs
nreset, clk, etx_access, etx_packet, tx_enable, gpio_data,
gpio_enable, tx_rd_wait, tx_wr_wait
);
parameter PW = 104;
parameter AW = 32;
parameter DW = 32;
parameter ID = 12'h000;
//Clock/reset
input nreset;
input clk;
//System side
input etx_access;
input [PW-1:0] etx_packet;
//Pushback signals
output etx_rd_wait;
output etx_wr_wait;
2015-04-23 18:57:55 -04:00
//Enble transmit
input tx_enable; //transmit enable
input [8:0] gpio_data; //TODO
input gpio_enable; //TODO
//Interface to IO
output [PW-1:0] tx_packet;
output tx_access;
output tx_burst;
input tx_rd_wait; // The wait signals are passed through
input tx_wr_wait; // to the emesh interfaces
//###################################################################
//# Local regs & wires
//###################################################################
reg tx_access;
reg [PW-1:0] tx_packet;
reg tx_io_wait;
reg tx_burst;
wire etx_write;
wire [1:0] etx_datamode;
wire [3:0] etx_ctrlmode;
wire [AW-1:0] etx_dstaddr;
wire [DW-1:0] etx_data;
wire last_write;
wire [1:0] last_datamode;
wire [3:0] last_ctrlmode;
wire [AW-1:0] last_dstaddr;
wire burst_match;
wire burst_type_match;
wire [31:0] burst_addr;
wire burst_addr_match;
wire burst_in;
//##############################################################
//# Packet Pipeline
//##############################################################
packet2emesh p2m0 (
.write_out (etx_write),
.datamode_out (etx_datamode[1:0]),
.ctrlmode_out (etx_ctrlmode[3:0]),
.dstaddr_out (etx_dstaddr[31:0]),
.data_out (),
.srcaddr_out (),
.packet_in (etx_packet[PW-1:0]));//input
//Creates a one cycle wait whenever there is no burst
always @ (posedge clk or negedge nreset)
if(!nreset)
tx_io_wait <= 1'b0;
else if (tx_rd_wait | tx_wr_wait)
tx_io_wait <= 1'b0;
else
tx_io_wait <= (~tx_io_wait & etx_access & ~tx_burst_in);
//Hold transaction while waiting
//This transaction should be flushed out on wait????
2015-05-17 23:00:53 -04:00
always @ (posedge clk)
if(!nreset)
begin
tx_packet[PW-1:0] <= 'b0;
tx_access <= 1'b0;
end
else if(~(etx_wr_wait | etx_rd_wait))
begin
tx_packet[PW-1:0] <= etx_packet[PW-1:0];
tx_access <= tx_enable & etx_access;
end
//#############################
//# Burst Detection
//#############################
packet2emesh p2m1 (
.write_out (last_write),
.datamode_out (last_datamode[1:0]),
.ctrlmode_out (last_ctrlmode[3:0]),
.dstaddr_out (last_dstaddr[31:0]),
.data_out (),
.srcaddr_out (),
.packet_in (tx_packet[PW-1:0]));//input
2015-11-09 21:57:25 -05:00
assign burst_addr[31:0] = (last_dstaddr[31:0] + 32'h8);
assign burst_addr_match = (burst_addr[31:0] == etx_dstaddr[31:0]);
assign burst_type_match = {last_ctrlmode[3:0],last_datamode[1:0],last_write}
==
{etx_ctrlmode[3:0],etx_datamode[1:0], etx_write};
assign tx_burst_in = tx_access & //avoid garbage
~tx_wr_wait_reg & //clear on wait
etx_write & //write
(etx_datamode[1:0]==2'b11) & //double only
burst_type_match & //same types
burst_addr_match; //inc by 8
reg tx_wr_wait_reg;
reg tx_rd_wait_reg;
reg tx_io_wait_reg;
//sample to align up witth tx_access
always @ (posedge clk)
begin
tx_burst <= tx_burst_in;
tx_wr_wait_reg <= tx_wr_wait;
tx_rd_wait_reg <= tx_rd_wait;
tx_io_wait_reg <= tx_io_wait;
end
assign special_sample = tx_io_wait_reg &
(tx_wr_wait | tx_rd_wait) &
~(tx_wr_wait_reg | tx_rd_wait_reg)
;
//#############################
//# Wait propagation circuit
//#############################
assign etx_wr_wait = (tx_wr_wait | tx_io_wait) & ~special_sample;
assign etx_rd_wait = (tx_rd_wait | tx_io_wait) & ~special_sample;
endmodule // etx_protocol
// Local Variables:
// verilog-library-directories:("." "../../common/hdl")
// End: