mirror of
https://github.com/vortexgpgpu/vortex.git
synced 2025-04-23 21:39:10 -04:00
498 lines
17 KiB
Systemverilog
498 lines
17 KiB
Systemverilog
// Copyright © 2019-2023
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
`include "VX_platform.vh"
|
|
|
|
`TRACING_OFF
|
|
module VX_rr_arbiter #(
|
|
parameter NUM_REQS = 1,
|
|
parameter MODEL = 1,
|
|
parameter LOG_NUM_REQS = `LOG2UP(NUM_REQS),
|
|
parameter LUT_OPT = 0
|
|
) (
|
|
input wire clk,
|
|
input wire reset,
|
|
input wire [NUM_REQS-1:0] requests,
|
|
output wire [LOG_NUM_REQS-1:0] grant_index,
|
|
output wire [NUM_REQS-1:0] grant_onehot,
|
|
output wire grant_valid,
|
|
input wire grant_ready
|
|
);
|
|
if (NUM_REQS == 1) begin : g_passthru
|
|
|
|
`UNUSED_VAR (clk)
|
|
`UNUSED_VAR (reset)
|
|
`UNUSED_VAR (grant_ready)
|
|
|
|
assign grant_index = '0;
|
|
assign grant_onehot = requests;
|
|
assign grant_valid = requests[0];
|
|
|
|
end else if (LUT_OPT && NUM_REQS == 2) begin : g_lut2
|
|
|
|
reg [LOG_NUM_REQS-1:0] grant_index_w;
|
|
reg [NUM_REQS-1:0] grant_onehot_w;
|
|
reg [LOG_NUM_REQS-1:0] state;
|
|
|
|
always @(*) begin
|
|
casez ({state, requests})
|
|
3'b0_01,
|
|
3'b1_?1: begin grant_onehot_w = 2'b01; grant_index_w = LOG_NUM_REQS'(0); end
|
|
3'b0_1?,
|
|
3'b1_10: begin grant_onehot_w = 2'b10; grant_index_w = LOG_NUM_REQS'(1); end
|
|
default: begin grant_onehot_w = 2'b00; grant_index_w = 'x; end
|
|
endcase
|
|
end
|
|
|
|
always @(posedge clk) begin
|
|
if (reset) begin
|
|
state <= '0;
|
|
end else if (grant_ready) begin
|
|
state <= grant_index_w;
|
|
end
|
|
end
|
|
|
|
assign grant_index = grant_index_w;
|
|
assign grant_onehot = grant_onehot_w;
|
|
assign grant_valid = (| requests);
|
|
|
|
end else if (LUT_OPT && NUM_REQS == 3) begin : g_lut3
|
|
|
|
reg [LOG_NUM_REQS-1:0] grant_index_w;
|
|
reg [NUM_REQS-1:0] grant_onehot_w;
|
|
reg [LOG_NUM_REQS-1:0] state;
|
|
|
|
always @(*) begin
|
|
casez ({state, requests})
|
|
5'b00_001,
|
|
5'b01_0?1,
|
|
5'b10_??1: begin grant_onehot_w = 3'b001; grant_index_w = LOG_NUM_REQS'(0); end
|
|
5'b00_?1?,
|
|
5'b01_010,
|
|
5'b10_?10: begin grant_onehot_w = 3'b010; grant_index_w = LOG_NUM_REQS'(1); end
|
|
5'b00_10?,
|
|
5'b01_1??,
|
|
5'b10_100: begin grant_onehot_w = 3'b100; grant_index_w = LOG_NUM_REQS'(2); end
|
|
default: begin grant_onehot_w = 3'b000; grant_index_w = 'x; end
|
|
endcase
|
|
end
|
|
|
|
always @(posedge clk) begin
|
|
if (reset) begin
|
|
state <= '0;
|
|
end else if (grant_ready) begin
|
|
state <= grant_index_w;
|
|
end
|
|
end
|
|
|
|
assign grant_index = grant_index_w;
|
|
assign grant_onehot = grant_onehot_w;
|
|
assign grant_valid = (| requests);
|
|
|
|
end else if (LUT_OPT && NUM_REQS == 4) begin : g_lut4
|
|
|
|
reg [LOG_NUM_REQS-1:0] grant_index_w;
|
|
reg [NUM_REQS-1:0] grant_onehot_w;
|
|
reg [LOG_NUM_REQS-1:0] state;
|
|
|
|
always @(*) begin
|
|
casez ({state, requests})
|
|
6'b00_0001,
|
|
6'b01_00?1,
|
|
6'b10_0??1,
|
|
6'b11_???1: begin grant_onehot_w = 4'b0001; grant_index_w = LOG_NUM_REQS'(0); end
|
|
6'b00_??1?,
|
|
6'b01_0010,
|
|
6'b10_0?10,
|
|
6'b11_??10: begin grant_onehot_w = 4'b0010; grant_index_w = LOG_NUM_REQS'(1); end
|
|
6'b00_?10?,
|
|
6'b01_?1??,
|
|
6'b10_0100,
|
|
6'b11_?100: begin grant_onehot_w = 4'b0100; grant_index_w = LOG_NUM_REQS'(2); end
|
|
6'b00_100?,
|
|
6'b01_10??,
|
|
6'b10_1???,
|
|
6'b11_1000: begin grant_onehot_w = 4'b1000; grant_index_w = LOG_NUM_REQS'(3); end
|
|
default: begin grant_onehot_w = 4'b0000; grant_index_w = 'x; end
|
|
endcase
|
|
end
|
|
|
|
always @(posedge clk) begin
|
|
if (reset) begin
|
|
state <= '0;
|
|
end else if (grant_ready) begin
|
|
state <= grant_index_w;
|
|
end
|
|
end
|
|
|
|
assign grant_index = grant_index_w;
|
|
assign grant_onehot = grant_onehot_w;
|
|
assign grant_valid = (| requests);
|
|
|
|
end else if (LUT_OPT && NUM_REQS == 5) begin : g_lut5
|
|
|
|
reg [LOG_NUM_REQS-1:0] grant_index_w;
|
|
reg [NUM_REQS-1:0] grant_onehot_w;
|
|
reg [LOG_NUM_REQS-1:0] state;
|
|
|
|
always @(*) begin
|
|
casez ({state, requests})
|
|
8'b000_00001,
|
|
8'b001_000?1,
|
|
8'b010_00??1,
|
|
8'b011_0???1,
|
|
8'b100_????1: begin grant_onehot_w = 5'b00001; grant_index_w = LOG_NUM_REQS'(0); end
|
|
8'b000_???1?,
|
|
8'b001_00010,
|
|
8'b010_00?10,
|
|
8'b011_0??10,
|
|
8'b100_???10: begin grant_onehot_w = 5'b00010; grant_index_w = LOG_NUM_REQS'(1); end
|
|
8'b000_??10?,
|
|
8'b001_??1??,
|
|
8'b010_00100,
|
|
8'b011_0?100,
|
|
8'b100_??100: begin grant_onehot_w = 5'b00100; grant_index_w = LOG_NUM_REQS'(2); end
|
|
8'b000_?100?,
|
|
8'b001_?10??,
|
|
8'b010_?1???,
|
|
8'b011_01000,
|
|
8'b100_?1000: begin grant_onehot_w = 5'b01000; grant_index_w = LOG_NUM_REQS'(3); end
|
|
8'b000_1000?,
|
|
8'b001_100??,
|
|
8'b010_10???,
|
|
8'b011_1????,
|
|
8'b100_10000: begin grant_onehot_w = 5'b10000; grant_index_w = LOG_NUM_REQS'(4); end
|
|
default: begin grant_onehot_w = 5'b00000; grant_index_w = 'x; end
|
|
endcase
|
|
end
|
|
|
|
always @(posedge clk) begin
|
|
if (reset) begin
|
|
state <= '0;
|
|
end else if (grant_ready) begin
|
|
state <= grant_index_w;
|
|
end
|
|
end
|
|
|
|
assign grant_index = grant_index_w;
|
|
assign grant_onehot = grant_onehot_w;
|
|
assign grant_valid = (| requests);
|
|
|
|
end else if (LUT_OPT && NUM_REQS == 6) begin : g_lut6
|
|
|
|
reg [LOG_NUM_REQS-1:0] grant_index_w;
|
|
reg [NUM_REQS-1:0] grant_onehot_w;
|
|
reg [LOG_NUM_REQS-1:0] state;
|
|
|
|
always @(*) begin
|
|
casez ({state, requests})
|
|
9'b000_000001,
|
|
9'b001_0000?1,
|
|
9'b010_000??1,
|
|
9'b011_00???1,
|
|
9'b100_0????1,
|
|
9'b101_?????1: begin grant_onehot_w = 6'b000001; grant_index_w = LOG_NUM_REQS'(0); end
|
|
9'b000_????1?,
|
|
9'b001_000010,
|
|
9'b010_000?10,
|
|
9'b011_00??10,
|
|
9'b100_0???10,
|
|
9'b101_????10: begin grant_onehot_w = 6'b000010; grant_index_w = LOG_NUM_REQS'(1); end
|
|
9'b000_???10?,
|
|
9'b001_???1??,
|
|
9'b010_000100,
|
|
9'b011_00?100,
|
|
9'b100_0??100,
|
|
9'b101_???100: begin grant_onehot_w = 6'b000100; grant_index_w = LOG_NUM_REQS'(2); end
|
|
9'b000_??100?,
|
|
9'b001_??10??,
|
|
9'b010_??1???,
|
|
9'b011_001000,
|
|
9'b100_0?1000,
|
|
9'b101_??1000: begin grant_onehot_w = 6'b001000; grant_index_w = LOG_NUM_REQS'(3); end
|
|
9'b000_?1000?,
|
|
9'b001_?100??,
|
|
9'b010_?10???,
|
|
9'b011_?1????,
|
|
9'b100_010000,
|
|
9'b101_?10000: begin grant_onehot_w = 6'b010000; grant_index_w = LOG_NUM_REQS'(4); end
|
|
9'b000_10000?,
|
|
9'b001_1000??,
|
|
9'b010_100???,
|
|
9'b011_10????,
|
|
9'b100_1?????,
|
|
9'b101_100000: begin grant_onehot_w = 6'b100000; grant_index_w = LOG_NUM_REQS'(5); end
|
|
default: begin grant_onehot_w = 6'b000000; grant_index_w = 'x; end
|
|
endcase
|
|
end
|
|
|
|
always @(posedge clk) begin
|
|
if (reset) begin
|
|
state <= '0;
|
|
end else if (grant_ready) begin
|
|
state <= grant_index_w;
|
|
end
|
|
end
|
|
|
|
assign grant_index = grant_index_w;
|
|
assign grant_onehot = grant_onehot_w;
|
|
assign grant_valid = (| requests);
|
|
|
|
end else if (LUT_OPT && NUM_REQS == 7) begin : g_lut7
|
|
|
|
reg [LOG_NUM_REQS-1:0] grant_index_w;
|
|
reg [NUM_REQS-1:0] grant_onehot_w;
|
|
reg [LOG_NUM_REQS-1:0] state;
|
|
|
|
always @(*) begin
|
|
casez ({state, requests})
|
|
10'b000_0000001,
|
|
10'b001_00000?1,
|
|
10'b010_0000??1,
|
|
10'b011_000???1,
|
|
10'b100_000???1,
|
|
10'b101_00????1,
|
|
10'b110_??????1: begin grant_onehot_w = 7'b0000001; grant_index_w = LOG_NUM_REQS'(0); end
|
|
10'b000_?????1?,
|
|
10'b001_0000010,
|
|
10'b010_0000?10,
|
|
10'b011_000??10,
|
|
10'b100_00???10,
|
|
10'b101_0????10,
|
|
10'b110_?????10: begin grant_onehot_w = 7'b0000010; grant_index_w = LOG_NUM_REQS'(1); end
|
|
10'b000_????10?,
|
|
10'b001_????1??,
|
|
10'b010_0000100,
|
|
10'b011_000?100,
|
|
10'b100_00??100,
|
|
10'b101_0???100,
|
|
10'b110_????100: begin grant_onehot_w = 7'b0000100; grant_index_w = LOG_NUM_REQS'(2); end
|
|
10'b000_???100?,
|
|
10'b001_???10??,
|
|
10'b010_???1???,
|
|
10'b011_0001000,
|
|
10'b100_00?1000,
|
|
10'b101_0??1000,
|
|
10'b110_???1000: begin grant_onehot_w = 7'b0001000; grant_index_w = LOG_NUM_REQS'(3); end
|
|
10'b000_??1000?,
|
|
10'b001_??100??,
|
|
10'b010_??10???,
|
|
10'b011_??1????,
|
|
10'b100_0010000,
|
|
10'b101_0?10000,
|
|
10'b110_??10000: begin grant_onehot_w = 7'b0010000; grant_index_w = LOG_NUM_REQS'(4); end
|
|
10'b000_?10000?,
|
|
10'b001_?1000??,
|
|
10'b010_?100???,
|
|
10'b011_?10????,
|
|
10'b100_?1?????,
|
|
10'b101_0100000,
|
|
10'b110_?100000: begin grant_onehot_w = 7'b0100000; grant_index_w = LOG_NUM_REQS'(5); end
|
|
10'b000_100000?,
|
|
10'b001_10000??,
|
|
10'b010_1000???,
|
|
10'b011_100????,
|
|
10'b100_10?????,
|
|
10'b101_1??????,
|
|
10'b110_1000000: begin grant_onehot_w = 7'b1000000; grant_index_w = LOG_NUM_REQS'(6); end
|
|
default: begin grant_onehot_w = 7'b0000000; grant_index_w = 'x; end
|
|
endcase
|
|
end
|
|
|
|
always @(posedge clk) begin
|
|
if (reset) begin
|
|
state <= '0;
|
|
end else if (grant_ready) begin
|
|
state <= grant_index_w;
|
|
end
|
|
end
|
|
|
|
assign grant_index = grant_index_w;
|
|
assign grant_onehot = grant_onehot_w;
|
|
assign grant_valid = (| requests);
|
|
|
|
end else if (LUT_OPT && NUM_REQS == 8) begin : g_lut8
|
|
|
|
reg [LOG_NUM_REQS-1:0] grant_index_w;
|
|
reg [NUM_REQS-1:0] grant_onehot_w;
|
|
reg [LOG_NUM_REQS-1:0] state;
|
|
|
|
always @(*) begin
|
|
casez ({state, requests})
|
|
11'b000_00000001,
|
|
11'b001_000000?1,
|
|
11'b010_00000??1,
|
|
11'b011_0000???1,
|
|
11'b100_000????1,
|
|
11'b101_00?????1,
|
|
11'b110_0??????1,
|
|
11'b111_???????1: begin grant_onehot_w = 8'b00000001; grant_index_w = LOG_NUM_REQS'(0); end
|
|
11'b000_??????1?,
|
|
11'b001_00000010,
|
|
11'b010_00000?10,
|
|
11'b011_0000??10,
|
|
11'b100_000???10,
|
|
11'b101_00????10,
|
|
11'b110_0?????10,
|
|
11'b111_??????10: begin grant_onehot_w = 8'b00000010; grant_index_w = LOG_NUM_REQS'(1); end
|
|
11'b000_?????10?,
|
|
11'b001_?????1??,
|
|
11'b010_00000100,
|
|
11'b011_0000?100,
|
|
11'b100_000??100,
|
|
11'b101_00???100,
|
|
11'b110_0????100,
|
|
11'b111_?????100: begin grant_onehot_w = 8'b00000100; grant_index_w = LOG_NUM_REQS'(2); end
|
|
11'b000_????100?,
|
|
11'b001_????10??,
|
|
11'b010_????1???,
|
|
11'b011_00001000,
|
|
11'b100_000?1000,
|
|
11'b101_00??1000,
|
|
11'b110_0???1000,
|
|
11'b111_????1000: begin grant_onehot_w = 8'b00001000; grant_index_w = LOG_NUM_REQS'(3); end
|
|
11'b000_???1000?,
|
|
11'b001_???100??,
|
|
11'b010_???10???,
|
|
11'b011_???1????,
|
|
11'b100_00010000,
|
|
11'b101_00?10000,
|
|
11'b110_0??10000,
|
|
11'b111_???10000: begin grant_onehot_w = 8'b00010000; grant_index_w = LOG_NUM_REQS'(4); end
|
|
11'b000_??10000?,
|
|
11'b001_??1000??,
|
|
11'b010_??100???,
|
|
11'b011_??10????,
|
|
11'b100_??1?????,
|
|
11'b101_00100000,
|
|
11'b110_0?100000,
|
|
11'b111_??100000: begin grant_onehot_w = 8'b00100000; grant_index_w = LOG_NUM_REQS'(5); end
|
|
11'b000_?100000?,
|
|
11'b001_?10000??,
|
|
11'b010_?1000???,
|
|
11'b011_?100????,
|
|
11'b100_?10?????,
|
|
11'b101_?1??????,
|
|
11'b110_01000000,
|
|
11'b111_?1000000: begin grant_onehot_w = 8'b01000000; grant_index_w = LOG_NUM_REQS'(6); end
|
|
11'b000_1000000?,
|
|
11'b001_100000??,
|
|
11'b010_10000???,
|
|
11'b011_1000????,
|
|
11'b100_100?????,
|
|
11'b101_10??????,
|
|
11'b110_1???????,
|
|
11'b111_10000000: begin grant_onehot_w = 8'b10000000; grant_index_w = LOG_NUM_REQS'(7); end
|
|
default: begin grant_onehot_w = 8'b00000000; grant_index_w = 'x; end
|
|
endcase
|
|
end
|
|
|
|
always @(posedge clk) begin
|
|
if (reset) begin
|
|
state <= '0;
|
|
end else if (grant_ready) begin
|
|
state <= grant_index_w;
|
|
end
|
|
end
|
|
|
|
assign grant_index = grant_index_w;
|
|
assign grant_onehot = grant_onehot_w;
|
|
assign grant_valid = (| requests);
|
|
|
|
end else if (MODEL == 1) begin : g_model1
|
|
|
|
`IGNORE_UNOPTFLAT_BEGIN
|
|
wire [NUM_REQS-1:0] masked_pri_reqs, unmasked_pri_reqs;
|
|
`IGNORE_UNOPTFLAT_END
|
|
reg [NUM_REQS-1:0] reqs_mask;
|
|
|
|
wire [NUM_REQS-1:0] masked_reqs = requests & reqs_mask;
|
|
|
|
assign masked_pri_reqs[0] = 1'b0;
|
|
for (genvar i = 1; i < NUM_REQS; ++i) begin : g_masked_pri_reqs
|
|
assign masked_pri_reqs[i] = masked_pri_reqs[i-1] | masked_reqs[i-1];
|
|
end
|
|
|
|
assign unmasked_pri_reqs[0] = 1'b0;
|
|
for (genvar i = 1; i < NUM_REQS; ++i) begin : g_unmasked_pri_reqs
|
|
assign unmasked_pri_reqs[i] = unmasked_pri_reqs[i-1] | requests[i-1];
|
|
end
|
|
|
|
wire [NUM_REQS-1:0] grant_masked = masked_reqs & ~masked_pri_reqs;
|
|
wire [NUM_REQS-1:0] grant_unmasked = requests & ~unmasked_pri_reqs;
|
|
|
|
wire has_masked_reqs = (| masked_reqs);
|
|
wire has_unmasked_reqs = (| requests);
|
|
|
|
assign grant_onehot = has_masked_reqs ? grant_masked : grant_unmasked;
|
|
|
|
always @(posedge clk) begin
|
|
if (reset) begin
|
|
reqs_mask <= {NUM_REQS{1'b1}};
|
|
end else if (grant_ready) begin
|
|
if (has_masked_reqs) begin
|
|
reqs_mask <= masked_pri_reqs;
|
|
end else if (has_unmasked_reqs) begin
|
|
reqs_mask <= unmasked_pri_reqs;
|
|
end
|
|
end
|
|
end
|
|
|
|
VX_onehot_encoder #(
|
|
.N (NUM_REQS)
|
|
) onehot_encoder (
|
|
.data_in (grant_onehot),
|
|
.data_out (grant_index),
|
|
.valid_out(grant_valid)
|
|
);
|
|
|
|
end else if (MODEL == 2) begin : g_model2
|
|
|
|
reg [NUM_REQS-1:0][LOG_NUM_REQS-1:0] grant_table;
|
|
reg [LOG_NUM_REQS-1:0] state;
|
|
|
|
for (genvar i = 0; i < NUM_REQS; ++i) begin : g_grant_table
|
|
always @(*) begin
|
|
grant_table[i] = 'x;
|
|
for (integer j = NUM_REQS-1; j >= 0; --j) begin
|
|
if (requests[(i+j+1) % NUM_REQS]) begin
|
|
grant_table[i] = LOG_NUM_REQS'((i+j+1) % NUM_REQS);
|
|
end
|
|
end
|
|
end
|
|
end
|
|
|
|
always @(posedge clk) begin
|
|
if (reset) begin
|
|
state <= 0;
|
|
end else if (grant_valid && grant_ready) begin
|
|
state <= grant_index;
|
|
end
|
|
end
|
|
|
|
VX_demux #(
|
|
.N (LOG_NUM_REQS),
|
|
.D (NUM_REQS)
|
|
) grant_decoder (
|
|
.sel_in (grant_index),
|
|
.data_in (1'b1),
|
|
.data_out (grant_onehot)
|
|
);
|
|
|
|
assign grant_index = grant_table[state];
|
|
assign grant_valid = (| requests);
|
|
|
|
end
|
|
|
|
endmodule
|
|
`TRACING_ON
|