picorv32/spiflash/spimemio.v

83 lines
1.6 KiB
Coq
Raw Normal View History

2017-07-29 22:01:39 +08:00
module spimemio (
input clk, resetn,
input valid,
output reg ready,
input [23:0] addr,
output reg [31:0] rdata,
output reg spi_cs,
output reg spi_sclk,
output reg spi_mosi,
input spi_miso
);
2017-07-30 03:34:11 +08:00
parameter ENABLE_PREFETCH = 1;
2017-07-29 22:01:39 +08:00
reg [23:0] addr_q;
reg addr_q_vld;
reg [31:0] buffer;
reg [6:0] xfer_cnt;
reg xfer_wait;
2017-07-30 03:34:11 +08:00
reg prefetch;
2017-07-29 22:01:39 +08:00
always @(posedge clk) begin
ready <= 0;
if (!resetn) begin
spi_cs <= 1;
spi_sclk <= 1;
xfer_cnt <= 8;
buffer <= 8'hAB << 24;
addr_q_vld <= 0;
xfer_wait <= 0;
2017-07-30 03:34:11 +08:00
prefetch <= 0;
2017-07-29 22:01:39 +08:00
end else
if (xfer_cnt) begin
if (spi_cs) begin
spi_cs <= 0;
end else
if (spi_sclk) begin
spi_sclk <= 0;
spi_mosi <= buffer[31];
end else begin
spi_sclk <= 1;
buffer <= {buffer, spi_miso};
xfer_cnt <= xfer_cnt - 1;
end
end else
if (xfer_wait) begin
ready <= 1;
rdata <= {buffer[7:0], buffer[15:8], buffer[23:16], buffer[31:24]};
xfer_wait <= 0;
end else
if (valid && !ready) begin
if (addr_q_vld && addr_q == addr) begin
addr_q <= addr + 4;
addr_q_vld <= 1;
2017-07-30 03:34:11 +08:00
if (!prefetch)
xfer_cnt <= 32;
2017-07-29 22:01:39 +08:00
xfer_wait <= 1;
2017-07-30 03:34:11 +08:00
prefetch <= 0;
2017-07-29 22:01:39 +08:00
end else begin
spi_cs <= 1;
buffer <= {8'h 03, addr};
addr_q <= addr + 4;
addr_q_vld <= 1;
xfer_cnt <= 64;
xfer_wait <= 1;
2017-07-30 03:34:11 +08:00
prefetch <= 0;
2017-07-29 22:01:39 +08:00
end
2017-07-30 03:34:11 +08:00
end else if (ENABLE_PREFETCH && !prefetch) begin
prefetch <= 1;
xfer_cnt <= 32;
end
if (ENABLE_PREFETCH && resetn && prefetch && valid && !ready && addr_q != addr) begin
prefetch <= 0;
xfer_cnt <= 0;
xfer_wait <= 0;
spi_sclk <= 1;
2017-07-29 22:01:39 +08:00
end
end
endmodule