Simplify the Verilog "inside" (from @flaviens) (#2776)
Some checks are pending
bender-up-to-date / bender-up-to-date (push) Waiting to run
ci / build-riscv-tests (push) Waiting to run
ci / execute-riscv64-tests (push) Blocked by required conditions
ci / execute-riscv32-tests (push) Blocked by required conditions

Hi! Some tools like morty struggle with this expression. I suggest this very simple rewrite. No need for fancy constructs here.
Thanks @flaviens for this contribution
This commit is contained in:
JeanRochCoulon 2025-02-19 09:45:30 +01:00 committed by GitHub
parent be7c8746c6
commit e4c28b0b03
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1385,10 +1385,11 @@ module cva6
.inval_valid_i (inval_valid),
.inval_ready_o (inval_ready)
);
end else if (CVA6Cfg.DCacheType inside {
config_pkg::HPDCACHE_WT,
config_pkg::HPDCACHE_WB,
config_pkg::HPDCACHE_WT_WB})
end else if (
CVA6Cfg.DCacheType == config_pkg::HPDCACHE_WT ||
CVA6Cfg.DCacheType == config_pkg::HPDCACHE_WB ||
CVA6Cfg.DCacheType == config_pkg::HPDCACHE_WT_WB
)
begin : gen_cache_hpd
cva6_hpdcache_subsystem #(
.CVA6Cfg (CVA6Cfg),