From 41da12d33e548224b7ed9795164b25c4d9ebd6b4 Mon Sep 17 00:00:00 2001 From: Your Name Date: Mon, 20 May 2024 22:24:21 +0200 Subject: [PATCH] Reintroduce the Assert calls. --- rtl/riscv_iommu.sv | 5 ++--- rtl/software_interface/regmap/rv_iommu_regmap.sv | 2 +- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/rtl/riscv_iommu.sv b/rtl/riscv_iommu.sv index de7e0e5..b281457 100644 --- a/rtl/riscv_iommu.sv +++ b/rtl/riscv_iommu.sv @@ -774,11 +774,10 @@ module riscv_iommu #( .ar_chan_t ( ar_chan_t ), .r_chan_t ( r_chan_t ), // AXI request/response - .req_t ( axi_req_t ), - .resp_t ( axi_rsp_t ), + .axi_req_t ( axi_req_t ), + .axi_resp_t ( axi_rsp_t ), .NoMstPorts ( 2 ), // MRIF supports adds ignoring mechanism .AxiLookBits ( ID_WIDTH ), // Assuming same value as AXI ID width - .FallThrough ( 1'b0 ), .SpillAw ( 1'b0 ), .SpillW ( 1'b0 ), .SpillB ( 1'b0 ), diff --git a/rtl/software_interface/regmap/rv_iommu_regmap.sv b/rtl/software_interface/regmap/rv_iommu_regmap.sv index b294951..1f494a4 100644 --- a/rtl/software_interface/regmap/rv_iommu_regmap.sv +++ b/rtl/software_interface/regmap/rv_iommu_regmap.sv @@ -3545,6 +3545,6 @@ module rv_iommu_regmap #( assign unused_be = ^reg_be; // Assertions for Register Interface - // `ASSERT(en2addrHit, (reg_we || reg_re) |-> $onehot0(addr_hit)) + `ASSERT(en2addrHit, (reg_we || reg_re) |-> $onehot0(addr_hit)) endmodule