[rv_plic] Correct packed/unpacked indexing in assertion
diff --git a/hw/ip/rv_plic/data/rv_plic.sv.tpl b/hw/ip/rv_plic/data/rv_plic.sv.tpl
index 9255aab..cc6191c 100644
--- a/hw/ip/rv_plic/data/rv_plic.sv.tpl
+++ b/hw/ip/rv_plic/data/rv_plic.sv.tpl
@@ -163,7 +163,7 @@
///////////////////////////////////
// Target interrupt notification //
///////////////////////////////////
- for (genvar i = 0 ; i < NumTarget ; i++) begin : geNumTarget
+ for (genvar i = 0 ; i < NumTarget ; i++) begin : gen_target
rv_plic_target #(
.N_SOURCE (NumSrc),
.MAX_PRIO (MAX_PRIO),
@@ -206,7 +206,9 @@
`ASSERT_KNOWN(TlDValidKnownO_A, tl_o.d_valid, clk_i, !rst_ni)
`ASSERT_KNOWN(TlAReadyKnownO_A, tl_o.a_ready, clk_i, !rst_ni)
`ASSERT_KNOWN(IrqKnownO_A, irq_o, clk_i, !rst_ni)
- `ASSERT_KNOWN(IrqIdKnownO_A, irq_id_o, clk_i, !rst_ni)
`ASSERT_KNOWN(MsipKnownO_A, msip_o, clk_i, !rst_ni)
+ for (genvar k = 0; k < NumTarget; k++) begin : gen_irq_id_known
+ `ASSERT_KNOWN(IrqIdKnownO_A, irq_id_o[k], clk_i, !rst_ni)
+ end
endmodule
diff --git a/hw/ip/rv_plic/rtl/rv_plic.sv b/hw/ip/rv_plic/rtl/rv_plic.sv
index 5d5e7c8..20ddcf7 100644
--- a/hw/ip/rv_plic/rtl/rv_plic.sv
+++ b/hw/ip/rv_plic/rtl/rv_plic.sv
@@ -207,7 +207,7 @@
///////////////////////////////////
// Target interrupt notification //
///////////////////////////////////
- for (genvar i = 0 ; i < NumTarget ; i++) begin : geNumTarget
+ for (genvar i = 0 ; i < NumTarget ; i++) begin : gen_target
rv_plic_target #(
.N_SOURCE (NumSrc),
.MAX_PRIO (MAX_PRIO),
@@ -250,8 +250,10 @@
`ASSERT_KNOWN(TlDValidKnownO_A, tl_o.d_valid, clk_i, !rst_ni)
`ASSERT_KNOWN(TlAReadyKnownO_A, tl_o.a_ready, clk_i, !rst_ni)
`ASSERT_KNOWN(IrqKnownO_A, irq_o, clk_i, !rst_ni)
- `ASSERT_KNOWN(IrqIdKnownO_A, irq_id_o, clk_i, !rst_ni)
`ASSERT_KNOWN(MsipKnownO_A, msip_o, clk_i, !rst_ni)
+ for (genvar k = 0; k < NumTarget; k++) begin : gen_irq_id_known
+ `ASSERT_KNOWN(IrqIdKnownO_A, irq_id_o[k], clk_i, !rst_ni)
+ end
endmodule
diff --git a/hw/top_earlgrey/ip/rv_plic/rtl/autogen/rv_plic.sv b/hw/top_earlgrey/ip/rv_plic/rtl/autogen/rv_plic.sv
index fc53daf..c2504ce 100644
--- a/hw/top_earlgrey/ip/rv_plic/rtl/autogen/rv_plic.sv
+++ b/hw/top_earlgrey/ip/rv_plic/rtl/autogen/rv_plic.sv
@@ -215,7 +215,7 @@
///////////////////////////////////
// Target interrupt notification //
///////////////////////////////////
- for (genvar i = 0 ; i < NumTarget ; i++) begin : geNumTarget
+ for (genvar i = 0 ; i < NumTarget ; i++) begin : gen_target
rv_plic_target #(
.N_SOURCE (NumSrc),
.MAX_PRIO (MAX_PRIO),
@@ -258,7 +258,9 @@
`ASSERT_KNOWN(TlDValidKnownO_A, tl_o.d_valid, clk_i, !rst_ni)
`ASSERT_KNOWN(TlAReadyKnownO_A, tl_o.a_ready, clk_i, !rst_ni)
`ASSERT_KNOWN(IrqKnownO_A, irq_o, clk_i, !rst_ni)
- `ASSERT_KNOWN(IrqIdKnownO_A, irq_id_o, clk_i, !rst_ni)
`ASSERT_KNOWN(MsipKnownO_A, msip_o, clk_i, !rst_ni)
+ for (genvar k = 0; k < NumTarget; k++) begin : gen_irq_id_known
+ `ASSERT_KNOWN(IrqIdKnownO_A, irq_id_o[k], clk_i, !rst_ni)
+ end
endmodule
