mirror of
https://github.com/retroSoC/retroSoC.git
synced 2026-11-04 22:32:36 +00:00
maksyuki
6bb5dc2344
- Updated RTL style audit to reflect new APB4 naming conventions. - Changed performance log parsing to accommodate new APB4 wait signals. - Modified AXI4 interconnect and rib bus testbenches to use updated performance wait signals. - Adjusted IRQ topology testbench to use new APB4 peripheral and system IRQ widths. - Updated sysctrl testbench to reflect changes in APB4 performance wait signals. - Refined memory map tests to check for new APB4 definitions. - Enhanced performance log tests to validate new APB4 wait signal parsing. - Revised SOC topology tests to ensure correct APB4 peripheral and system bindings. - Updated user extensions tests to align with new APB4 interface naming.
69 lines
2.0 KiB
Systemverilog
69 lines
2.0 KiB
Systemverilog
`timescale 1ns / 1ps
|
|
|
|
`include "soc_irq_config.svh"
|
|
|
|
module soc_irq_topology_tb;
|
|
logic [ `SOC_IRQ_VECTOR_WIDTH-1:0] s_irq;
|
|
logic [`SOC_IRQ_APB4_PERIPH_WIDTH-1:0] s_apb4_periph_irq;
|
|
logic [`SOC_IRQ_APB4_SYSTEM_WIDTH-1:0] s_apb4_system_irq;
|
|
|
|
`include "soc_irq_wiring.svh"
|
|
|
|
task automatic expect_irq(input logic [`SOC_IRQ_VECTOR_WIDTH-1:0] expected);
|
|
begin
|
|
#1;
|
|
if (s_irq !== expected) begin
|
|
$fatal(1, "unexpected IRQ vector: got %h, expected %h", s_irq, expected);
|
|
end
|
|
end
|
|
endtask
|
|
|
|
initial begin
|
|
s_apb4_periph_irq = '0;
|
|
s_apb4_system_irq = '0;
|
|
expect_irq('0);
|
|
|
|
for (int bit_index = 0; bit_index < 10; bit_index++) begin
|
|
s_apb4_periph_irq = '0;
|
|
s_apb4_periph_irq[bit_index] = 1'b1;
|
|
s_apb4_system_irq = '0;
|
|
expect_irq(32'd1 << bit_index);
|
|
end
|
|
|
|
for (int bit_index = 10; bit_index < `SOC_IRQ_APB4_PERIPH_WIDTH; bit_index++) begin
|
|
s_apb4_periph_irq = '0;
|
|
s_apb4_periph_irq[bit_index] = 1'b1;
|
|
case (bit_index)
|
|
13: expect_irq(32'd1 << 15);
|
|
default: expect_irq(32'd1 << (bit_index + 7));
|
|
endcase
|
|
end
|
|
|
|
for (int bit_index = 0; bit_index < `SOC_IRQ_APB4_SYSTEM_WIDTH; bit_index++) begin
|
|
s_apb4_periph_irq = '0;
|
|
s_apb4_system_irq = '0;
|
|
s_apb4_system_irq[bit_index] = 1'b1;
|
|
case (bit_index)
|
|
0: expect_irq(32'd1 << 11);
|
|
1: expect_irq(32'd1 << 12);
|
|
2: expect_irq(32'd1 << 13);
|
|
3: expect_irq(32'd1 << 14);
|
|
4: expect_irq(32'd1 << 16);
|
|
default: $fatal(1, "unexpected APB IRQ bit %0d", bit_index);
|
|
endcase
|
|
end
|
|
|
|
s_apb4_system_irq = '0;
|
|
expect_irq('0);
|
|
if (s_irq[10] !== 1'b0) begin
|
|
$fatal(1, "removed core IRQ bit is not low: IRQ10=%b", s_irq[10]);
|
|
end
|
|
if (s_irq[31:18] !== '0) begin
|
|
$fatal(1, "unallocated core IRQ bits are not low: %h", s_irq[31:18]);
|
|
end
|
|
|
|
$display("SoC topology IRQ routing test passed");
|
|
$finish;
|
|
end
|
|
endmodule
|