From 8ac55cf0933e8350a570ea3f3b975667342d60be Mon Sep 17 00:00:00 2001 From: Michael Platzer Date: Thu, 3 Oct 2024 07:13:00 +0200 Subject: [PATCH] addr_decode_dync,multiaddr_decode: Make assertions' sensitivity lists implicit (#229) Fixes compatibility issues with Verilator. --- src/addr_decode_dync.sv | 2 +- src/multiaddr_decode.sv | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/addr_decode_dync.sv b/src/addr_decode_dync.sv index 03d19808..37f70083 100644 --- a/src/addr_decode_dync.sv +++ b/src/addr_decode_dync.sv @@ -146,7 +146,7 @@ module addr_decode_dync #( // check_start: Enforces a smaller start than end address. // check_idx: Enforces a valid index in the rule. // check_overlap: Warns if there are overlapping address regions. - always @(addr_map_i or config_ongoing_i) #0 begin : proc_check_addr_map + always_comb begin : proc_check_addr_map if (!$isunknown(addr_map_i) && ~config_ongoing_i) begin for (int unsigned i = 0; i < NoRules; i++) begin check_start : assume (Napot || addr_map_i[i].start_addr < addr_map_i[i].end_addr || diff --git a/src/multiaddr_decode.sv b/src/multiaddr_decode.sv index a6589b76..61466eab 100644 --- a/src/multiaddr_decode.sv +++ b/src/multiaddr_decode.sv @@ -133,7 +133,7 @@ module multiaddr_decode #( // These following assumptions check the validity of the address map. // check_idx: Enforces a valid index in the rule. - always @(addr_map_i) #0 begin : proc_check_addr_map + always_comb begin : proc_check_addr_map if (!$isunknown(addr_map_i)) begin for (int unsigned i = 0; i < NoRules; i++) begin // check the SLV ids