mirror of
https://github.com/Polprzewodnikowy/SummerCart64.git
synced 2024-11-30 01:04:13 +01:00
52 lines
1.3 KiB
Coq
52 lines
1.3 KiB
Coq
|
module serv_bufreg #(
|
||
|
parameter [0:0] MDU = 0
|
||
|
)(
|
||
|
input wire i_clk,
|
||
|
//State
|
||
|
input wire i_cnt0,
|
||
|
input wire i_cnt1,
|
||
|
input wire i_en,
|
||
|
input wire i_init,
|
||
|
input wire i_mdu_op,
|
||
|
output wire [1:0] o_lsb,
|
||
|
//Control
|
||
|
input wire i_rs1_en,
|
||
|
input wire i_imm_en,
|
||
|
input wire i_clr_lsb,
|
||
|
input wire i_sh_signed,
|
||
|
//Data
|
||
|
input wire i_rs1,
|
||
|
input wire i_imm,
|
||
|
output wire o_q,
|
||
|
//External
|
||
|
output wire [31:0] o_dbus_adr,
|
||
|
//Extension
|
||
|
output wire [31:0] o_ext_rs1);
|
||
|
|
||
|
wire c, q;
|
||
|
reg c_r;
|
||
|
reg [31:2] data;
|
||
|
reg [1:0] lsb;
|
||
|
|
||
|
wire clr_lsb = i_cnt0 & i_clr_lsb;
|
||
|
|
||
|
assign {c,q} = {1'b0,(i_rs1 & i_rs1_en)} + {1'b0,(i_imm & i_imm_en & !clr_lsb)} + c_r;
|
||
|
|
||
|
always @(posedge i_clk) begin
|
||
|
//Make sure carry is cleared before loading new data
|
||
|
c_r <= c & i_en;
|
||
|
|
||
|
if (i_en)
|
||
|
data <= {i_init ? q : (data[31] & i_sh_signed), data[31:3]};
|
||
|
|
||
|
if (i_init ? (i_cnt0 | i_cnt1) : i_en)
|
||
|
lsb <= {i_init ? q : data[2],lsb[1]};
|
||
|
end
|
||
|
|
||
|
assign o_q = lsb[0] & i_en;
|
||
|
assign o_dbus_adr = {data, 2'b00};
|
||
|
assign o_ext_rs1 = {o_dbus_adr[31:2],lsb};
|
||
|
assign o_lsb = (MDU & i_mdu_op) ? 2'b00 : lsb;
|
||
|
|
||
|
endmodule
|